diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 20:08:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 20:08:35 +0000 |
commit | fd065654e714bde389b462c3d9d7fa955ec488b3 (patch) | |
tree | 4e5243525a8d60f8a51e7626a87c59ec95b94323 /etc/isar | |
parent | 8763ed675e91d802a93c25fcda460f4a9bb193ed (diff) |
Pointer to Stix fonts
Diffstat (limited to 'etc/isar')
-rw-r--r-- | etc/isar/TokensAcid.thy | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/etc/isar/TokensAcid.thy b/etc/isar/TokensAcid.thy index 523f8cb5..a7f146f2 100644 --- a/etc/isar/TokensAcid.thy +++ b/etc/isar/TokensAcid.thy @@ -8,11 +8,15 @@ begin (* Symbols. - Here's a table of all tokens for symbols, produced by - menu command Tokens -> List Tokens + Here's a table of all the standardly defined tokens for symbols, + produced by menu command Tokens -> List Tokens You should see glyphs in all positions except the whitespace tokens at the end of row 25 and start of row 26. + + I recommend using StixGeneral for symbols. + See http://olegueret.googlepages.com/stixfonts-ttf + This is the default for the symbol font if you have it installed. *) (* |