Commit 74c411e9 authored by Michael Kohlhase's avatar Michael Kohlhase

draining

parent 62c50a29
......@@ -49,6 +49,10 @@
\symvariant{loves}[2]{red}{\prefix{\red\lovesFN}{#1,#2}}
\symdef[name=father]{fatherFN}{\operatorname{father}}
\symdef{father}[2]{\prefix\fatherFN{#1,#2}}
\symdef[name=parent]{parentFN}{\operatorname{parent}}
\symdef{parent}[2]{\prefix\parentFN{#1,#2}}
\symdef[name=mother]{motherFN}{\operatorname{mother}}
\symdef{mother}[2]{\prefix\motherFN{#1,#2}}
\symdef[name=wifeof]{wifeofFN}{\operatorname{wife\_of}}
\symdef{wifeof}[1]{\prefix\wifeofFN{#1}}
\symdef[name=bites]{bitesFN}{\operatorname{bite}}
......@@ -66,6 +70,10 @@
\symdef{woman}[1]{\prefix\womanFN{#1}}
\symdef[name=man]{manFN}{\operatorname{man}}
\symdef{man}[1]{\prefix\manFN{#1}}
\symdef[name=female]{femaleFN}{\operatorname{female}}
\symdef{female}[1]{\prefix\femaleFN{#1}}
\symdef[name=male]{maleFN}{\operatorname{male}}
\symdef{male}[1]{\prefix\maleFN{#1}}
\symdef[name=farmer]{farmerFN}{\operatorname{farmer}}
\symdef{farmer}[1]{\prefix\farmerFN{#1}}
\symdef[name=pope]{popeFN}{\operatorname{pope}}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment