notes: on adding new characters to webeq
date:  1.12.97
by:    veran

methods:
	work in /u/java/geom/webeq/constants
	define new chars in CharConstants.java, unique unicode values 
	define char name in EntityNames.java
	define font group in FontMapper.java, 
	make

	work in /u/java/w3c/mkfont
	define new chars in latex format files symN.tex, 
	where N is the group index defines in FontMapper.java

	run make-font symN
	verify the font with xdvi symN.dvi

	run zgo after editing the zgo file as follows
        	zform "hexnum1 hexnum2..." symN-p1.tab > /u/java/fonts/symN-p1.tab	
	where hexnums are the unicode number for each char,
	where N is the group index,
	where zform is called for p1 through p7 (point sizes)
	also, check the value of N in
		/bin/mv symN-*.gif /u/java/fonts;
		/bin/rm symN-*.tab;

	zform calls zhex2dec to place the decimal value of the unicode hex num
	in the symN-p{1..7}.tab files in /u/java/fonts

done:
	new groups
		10: misc chars {Re, Im, exists ...}
		11: complete the Greek letters plus
		    > symbol, not exists, imath, jmath
		12: relation symbols
		13: negated binary relations
		14: blackboard bold caps A-M
		15: blackboard bold caps N-Z
		16: not used
		17: not used
		18: Fraktur caps A-M
		19: Fraktur caps N-Z
		20: Fraktur lower a-m
		21: Fraktur lower n-z
		22: Cal caps A-M 
		23: Cal caps N-Z 
		24: arrows plus amalg and coprod


	test files in /u/java/w3c with appletviewer
		n10.html
		n11.html
		n12.html
		n13.html
		n14.html
		n15.html
		n18.html
		n19.html
		n20.html
		n21.html
		n22.html
		n23.html
		n24.html

		
verify:
	unique/correct/fix unicode values 
	grep 'fix' CharConstants.java

	> (gt) symbol implemented correctly ?
	cdot and centerdot symbol implemented correctly ?

	use of chars imath and jmath ?

	need new chars in OperatorDictionary.java ?