文件操作 - tnt.cpython-311.pyc
返回文件管理
返回主菜单
删除本文件
文件: /usr/lib/python3/dist-packages/pygments/lexers/__pycache__/tnt.cpython-311.pyc
编辑文件内容
� �E�c�( � �h � d Z ddlZddlmZ ddlmZmZmZmZm Z m Z mZmZ dgZ G d� de� � ZdS )z� pygments.lexers.tnt ~~~~~~~~~~~~~~~~~~~ Lexer for Typographic Number Theory. :copyright: Copyright 2006-2022 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. � N)�Lexer)�Text�Comment�Operator�Keyword�Name�Number�Punctuation�Error�TNTLexerc �r � e Zd ZdZdZdZdgZdgZg Z e d� � Z e d� � Z e d� � Z e d � � Z e d � � Z e d� � Z e d� � Z e d � � Z ej d� � Z ej d� � Z ej d� � Zd� Zdd�Zd� Zd� Zd� Zd� Zd� Zd� Zd� ZdS )r u� Lexer for Typographic Number Theory, as described in the book Gödel, Escher, Bach, by Douglas R. Hofstadter .. versionadded:: 2.7 zTypographic Number Theoryz,https://github.com/Kenny2github/language-tnt�tntz*.tntu ⊃→]&∧^|∨Vvu +.⋅*�abcdeu '′z~!u AE∀∃� 0123456789z ax (?xi) joining | separation | double-tilde | fantasy\ rule | carry[- ]over(?:\ of)?(?:\ line)?\ ([0-9]+) | detachment | contrapositive | De\ Morgan | switcheroo | specification | generalization | interchange | existence | symmetry | transitivity | add\ S | drop\ S | induction | axiom\ ([1-5]) | premise | push | pop z((?:[0-9]+)(?:(?:, ?|,? and )(?:[0-9]+))*z\[[^\n\]]+\]c �>