tartrazine/spec/tests/coq/test_unicode.txt

16 lines
298 B
Plaintext
Raw Normal View History

2024-08-03 10:36:47 +00:00
---input---
Check (α ≻ β).
---tokens---
'Check' Keyword.Namespace
' ' Text
'(' Operator
'α' Name
' ' Text
'≻' Name.Builtin.Pseudo
' ' Text
'β' Name
')' Operator
'.' Operator
'\n' Text