author | wenzelm |
Tue, 09 Jan 2001 15:18:07 +0100 | |
changeset 10831 | 024bdf8e52a4 |
parent 10830 | d19f9f4c35ee |
child 10832 | e33b47e4246d |
--- a/src/Pure/Thy/html.ML Tue Jan 09 15:17:08 2001 +0100 +++ b/src/Pure/Thy/html.ML Tue Jan 09 15:18:07 2001 +0100 @@ -77,7 +77,7 @@ | "\\<not>" => (1.0, "¬") | "\\<hyphen>" => (1.0, "­") | "\\<registered>" => (1.0, "®") - | "\\<macron>" => (1.0, "¯") + | "\\<inverse>" => (1.0, "¯") | "\\<degree>" => (1.0, "°") | "\\<plusminus>" => (1.0, "±") | "\\<twosuperior>" => (1.0, "²")