coffee.pygments/tests/snippets/coq/test_unicode.txt at master - coffee/coffee.pygments - Ari::web -> Git: The for gay yo of ari.lt (accounts are manually reviewed)

coffee/coffee.pygments

Archived

This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Georg Brandl b40b0cca06 Rename "tests/lexers" to "tests/snippets" and update the contribution

docs to point to both snippets and examplefiles.

2021-01-20 10:57:30 +01:00

15 lines

298 B

Text

Raw Permalink Blame History

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

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