#!/usr/bin/env bash

# this script assists you to convert Unicode math characters to LaTeX commands.
sed -e 's/∧/ \\land /g' \
    -e 's/∨/ \\lor /g' \
    -e 's/→/ \\to /g' \
    -e 's/↔/ \\leftrightarrow /g' \
    -e 's/∈/ \\in /g' -e 's/¬/ \\lnot /g' \
    -e 's/φ/ \\varphi /g' \
    -e 's/Γ/ \\Gamma /g' \
    -e 's/ϕ/ \\phi/g' \
    -e 's/ψ/ \\psi/g' \
    -e 's/∀/ \\forall /g' \
    -e 's/∃/ \\exists /g' \
    -e 's/≤/ \\leq /g' \
    -e 's/≦/ \\leq /g' \
    -e 's/≥/ \\geq /g' \
    -e 's/≧/ \\geq /g' \
    -e 's/{/ \\{ /g' \
    -e 's/}/ \\} /g' \
    -e 's/⊥/ \\bot /g' "$1"