They both use the symbols, but the design is not identical. The curl colon is high off the baseline, while the Mozilla colon is not.