From d3e761a2286d04a3c0005b199653df2f6501f070 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Fri, 19 Jun 2026 12:39:13 +0200 Subject: refined core --- macros.tex | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'macros.tex') diff --git a/macros.tex b/macros.tex index 32b4789..333f3ac 100644 --- a/macros.tex +++ b/macros.tex @@ -58,9 +58,13 @@ \newcommand{\agentTermReLU}[2][]{% [#1=options, #2=name] \inetcell[arity=1, #1](#2){$\mathit{TR}$} } -% Symbolic -\newcommand{\agentSymbolic}[3][]{% [#1=options, #2=name, #3=symbol] - \inetcell[arity=0, #1](#2){$\mathit{S_{#3}}$} +% TermSymbolic +\newcommand{\agentTermSymbolic}[3][]{% [#1=options, #2=name, #3=symbol] + \inetcell[arity=0, #1](#2){$\mathit{TS_{#3}}$} +} +% TermConcrete +\newcommand{\agentTermConcrete}[3][]{% [#1=options, #2=name, #3=k] + \inetcell[arity=0, #1](#2){$\mathit{TC}_{#3}$} } % Interaction Rule \newcommand{\interactionrule}[3][]{ -- cgit v1.2.3