src/Pure/Syntax/symbol_font.ML
changeset 3067 4d501db6ebed
parent 3064 f04f93e5c0a9
child 3068 b7562e452816
equal deleted inserted replaced
3066:3c548f92e032 3067:4d501db6ebed
    37   "lhd",
    37   "lhd",
    38   "rhd",
    38   "rhd",
    39   "tturnstile",
    39   "tturnstile",
    40   "langle",
    40   "langle",
    41   "rangle",
    41   "rangle",
    42   "choice",
    42   "orelse",
    43   "top",
    43   "top",
    44   "Or",
    44   "Or",
    45   "ocdot",
    45   "ocdot",
    46   "iota",
    46   "iota",
    47   "upsilon",
    47   "upsilon",