From 3c24b9944503642bd74467489bdbb781a729fad7 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Mon, 14 Jul 2025 11:16:34 +0200 Subject: [PATCH] Add more translation aids --- main/core.tex | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/main/core.tex b/main/core.tex index b6e6051..3400d41 100644 --- a/main/core.tex +++ b/main/core.tex @@ -140,5 +140,10 @@ \newcommand{\trIf}{\translate{If }{Falls }} \newcommand{\trLet}{\translate{Let }{Sei }} \newcommand{\trLets}{\translate{Let }{Seien }} +\newcommand{\trFor}{\translate{For }{Für }} +\newcommand{\trfor}{\translate{for }{für }} \newcommand{\trand}{\translate{and }{und }} +\newcommand{\tror}{\translate{or }{oder }} +\newcommand{\trst}{\translate{s.t. }{s.d. }} +\newcommand{\trsuchthat}{\translate{such that }{so dass }} \newcommand{\trwith}{\translate{with }{mit }}