removed redundant "symbol" property; added "font" propery; disabled alternative letters (\<A> etc.) for now;
removed redundant "symbol" property;
added "font" propery;
disabled alternative letters (\<A> etc.) for now;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle