open-logic-formulas.sty

% OpenLogic Project
% formulas

\NeedsTeXFormat{LaTeX2e}

\ProvidesFile{open-logic-formulas}


\RequirePackage{amsfonts}
\RequirePackage{amssymb}
\RequirePackage[OMLmathsfit]{isomath}

% provide \mathexclaim

\DeclareMathSymbol{\mathexclaim}{\mathord}{operators}{`!}%

% make ! active in math mode for formula meta variables

{\catcode`!=\active
\gdef!{\formula}
\let\formula\relax % default: do nothing
}
\mathcode`\!="8000 % set ! active in math mode

% latinformulas -- switch to latin formulas A, B, C, etc.

\def\ollatinformulas{\let\formula\relax}

% greekformulas -- formula metavariables are phi, psi, etc.
% Provides !A, !B etc in math mode to produce \phi, \psi etc.

\def\olgreekformulas
{\gdef\formula{\lookup{A/\varphi,B/\psi,C/\chi,D/\theta,E/\alpha,F/\beta,G/\gamma,H/\delta,K/\xi,L/\zeta,O/\omega,R/\rho,S/\sigma,T/\tau}}}

\def\olalphagreekformulas
{\gdef\formula{\lookup{A/\alpha,B/\beta,C/\gamma,D/\delta,E/\phi,F/\psi,G/\chi,H/\theta,K/\xi,L/\zeta,O/\omega,R/\rho,S/\sigma,T/\tau}}}

% args -- format a list of arguments separated by commas without commas

\newcommand*{\args}[1]{%
  \let\@argsep\@argsepinit
  \@for\@arg:=#1\do{%
    \@argsep\@arg}%
}

\def\@argsepinit{\let\@argsep\argsep}

\newcommand{\argsep}{}

% lookup#1#2 -- look up #2 in #1, a comma-separated list of pairs

\def\@match#1/#2{\def\match@input{#1}\def\match@result{#2}}
\newcommand*{\lookup}[2]{%
  \def\lookup@input{#2}
  \def\lookup@result{#2}%
  \def\do##1{\@match##1\if\lookup@input\match@input
    \let\lookup@result\match@result\fi}%
  \docsvlist{#1}%
  \lookup@result}