diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-11 12:01:22 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-11 12:01:22 +0000 |
commit | 668ae7660aed964e957a21f922c6441235237e75 (patch) | |
tree | 85efadd9c607863cefd9ea6b35afa29cac9f3503 /isar/isar-unicode-tokens.el | |
parent | b14cbb54fedf45d725cfaba914e98e4a282fc01e (diff) |
Bug in \\<diamond> token
Diffstat (limited to 'isar/isar-unicode-tokens.el')
-rw-r--r-- | isar/isar-unicode-tokens.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index 7eda6ae3..83ef08e1 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -583,7 +583,7 @@ For Isabelle, the token TOKNAME is made into the token \\< TNAME >." ("<-->" . "\\<longleftrightarrow>") ("<<" . "\\<guillemotleft>") (">>" . "\\<guillemotright>") - ("<>" . "\<diamond>") + ("<>" . "\\<diamond>") ("[|" . "\\<lbrakk>") ("|]" . "\\<rbrakk>") ("{|" . "\\<lbrace>") |