tests/snippets/coq/test_unicode.txt


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

---input---
Check (α ≻ β).

---tokens---
'Check'       Keyword.Namespace
' '           Text
'('           Operator
'α'           Name
' '           Text
'≻'           Name.Builtin.Pseudo
' '           Text
'β'           Name
')'           Operator
'.'           Operator
'\n'          Text