parser.defineEntityReplacementText( "crarr", "\u21b5" );
parser.defineEntityReplacementText( "lArr", "\u21d0" );
parser.defineEntityReplacementText( "uArr", "\u21d1" );
parser.defineEntityReplacementText( "rArr", "\u21d2" );
parser.defineEntityReplacementText( "dArr", "\u21d3" );
parser.defineEntityReplacementText( "hArr", "\u21d4" );
parser.defineEntityReplacementText( "forall", "\u2200" );
parser.defineEntityReplacementText( "part", "\u2202" );
parser.defineEntityReplacementText( "exist", "\u2203" );
parser.defineEntityReplacementText( "empty", "\u2205" );
parser.defineEntityReplacementText( "nabla", "\u2207" );