equal
deleted
inserted
replaced
72 |
72 |
73 * Support for built-in font substitution of jEdit text area. |
73 * Support for built-in font substitution of jEdit text area. |
74 |
74 |
75 |
75 |
76 *** Document preparation *** |
76 *** Document preparation *** |
|
77 |
|
78 * HTML presentation now includes links to formal entities. |
77 |
79 |
78 * High-quality blackboard-bold symbols from font "txmia" (LaTeX package |
80 * High-quality blackboard-bold symbols from font "txmia" (LaTeX package |
79 "pxfonts"): \<bbbA>\<bool>\<complex>\<bbbD>\<bbbE>\<bbbF>\<bbbG>\<bbbH>\<bbbI>\<bbbJ>\<bbbK>\<bbbL>\<bbbM>\<nat>\<bbbO>\<bbbP>\<rat>\<real>\<bbbS>\<bbbT>\<bbbU>\<bbbV>\<bbbW>\<bbbX>\<bbbY>\<int>. |
81 "pxfonts"): \<bbbA>\<bool>\<complex>\<bbbD>\<bbbE>\<bbbF>\<bbbG>\<bbbH>\<bbbI>\<bbbJ>\<bbbK>\<bbbL>\<bbbM>\<nat>\<bbbO>\<bbbP>\<rat>\<real>\<bbbS>\<bbbT>\<bbbU>\<bbbV>\<bbbW>\<bbbX>\<bbbY>\<int>. |
80 |
82 |
81 * More predefined symbols: \<Parallel> \<interleave> \<sslash> (package "stmaryrd"), \<checkmark> \<crossmark> (LaTeX |
83 * More predefined symbols: \<Parallel> \<interleave> \<sslash> (package "stmaryrd"), \<checkmark> \<crossmark> (LaTeX |