<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE language><language name="Metamath" section="Scientific" extensions="*.mm" priority="-9" version="5" kateversion="5.62" author="Aaron Puchert" license="MIT"><highlighting><contexts><context name="Block" attribute="Normal"><DetectSpaces/><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><StringDetect String="$[" attribute="Keyword" context="Include"/><StringDetect String="${" attribute="Keyword" context="Block" beginRegion="block"/><StringDetect String="$}" attribute="Keyword" context="#pop" endRegion="block"/><StringDetect String="$v" attribute="Keyword" context="VariableDeclaration"/><StringDetect String="$c" attribute="Keyword" context="ConstantDeclaration"/><StringDetect String="$d" attribute="Keyword" context="DisjointRestriction"/><RegExpr String="[0-9A-Za-z.\-_]+" attribute="Label" context="LabelledStatement"/></context><context name="Comment" attribute="Comment"><RegExpr String=" ~ *[0-9A-Za-z.\-_]+" attribute="ReferenceLabel"/><StringDetect String="$)" attribute="Comment" context="#pop" endRegion="comment"/><IncludeRules context="##Comments"/></context><context name="SymbolList" attribute="Variable"><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><StringDetect String="$." attribute="Keyword" context="#pop"/></context><context name="AxiomaticAssertion" attribute="Normal"><DetectSpaces/><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><RegExpr String="[^ $]+" attribute="Constant" context="#pop!SymbolList"/></context><context name="CompressedProofStatements" attribute="Label"><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><DetectChar char=")" attribute="Keyword" context="#pop!CompressedProofSteps"/></context><context name="CompressedProofSteps" attribute="CompressedProof"><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><StringDetect String="$." attribute="Keyword" context="#pop" endRegion="proof"/></context><context name="ConstantDeclaration" attribute="Constant"><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><StringDetect String="$." attribute="Keyword" context="#pop"/></context><context name="DisjointRestriction" attribute="Variable"><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><StringDetect String="$." attribute="Keyword" context="#pop"/></context><context name="Include" attribute="Include"><StringDetect String="$]" attribute="Keyword" context="#pop"/></context><context name="LabelledStatement" attribute="Normal"><DetectSpaces/><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><StringDetect String="$f" attribute="Keyword" context="#pop!VariableTypeHypothesis"/><StringDetect String="$e" attribute="Keyword" context="#pop!LogicalHypothesis"/><StringDetect String="$a" attribute="Keyword" context="#pop!AxiomaticAssertion"/><StringDetect String="$p" attribute="Keyword" context="#pop!ProvableAssertion"/></context><context name="LogicalHypothesis" attribute="Normal"><DetectSpaces/><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><RegExpr String="[^ $]+" attribute="Constant" context="#pop!SymbolList"/></context><context name="Proof" attribute="Label"><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><DetectChar char="(" attribute="Keyword" context="#pop!CompressedProofStatements"/><StringDetect String="$." attribute="Keyword" context="#pop" endRegion="proof"/></context><context name="ProvableAssertion" attribute="Normal"><DetectSpaces/><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><RegExpr String="[^ $]+" attribute="Constant" context="#pop!ProvableAssertionSymbolList"/></context><context name="ProvableAssertionSymbolList" attribute="Variable"><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><StringDetect String="$=" attribute="Keyword" context="#pop!Proof" beginRegion="proof"/></context><context name="VariableDeclaration" attribute="Variable"><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><StringDetect String="$." attribute="Keyword" context="#pop"/></context><context name="VariableTypeHypothesis" attribute="Normal"><DetectSpaces/><StringDetect String="$(" attribute="Comment" context="Comment" beginRegion="comment"/><RegExpr String="[^ $]+" attribute="Constant" context="#pop!SymbolList"/></context></contexts><itemDatas><itemData name="Normal" defStyleNum="dsNormal" spellChecking="0"/><itemData name="Comment" defStyleNum="dsComment"/><itemData name="Include" defStyleNum="dsImport" spellChecking="0"/><itemData name="Keyword" defStyleNum="dsKeyword" spellChecking="0"/><itemData name="Variable" defStyleNum="dsVariable" spellChecking="0"/><itemData name="Constant" defStyleNum="dsFunction" spellChecking="0"/><itemData name="Label" defStyleNum="dsSpecialString" spellChecking="0"/><itemData name="ReferenceLabel" defStyleNum="dsCommentVar" spellChecking="0"/><itemData name="CompressedProof" defStyleNum="dsString" spellChecking="0"/></itemDatas></highlighting><general><keywords casesensitive="1"/><comments><comment name="multiLine" start="$(" end="$)" region="comment"/></comments></general></language>