


@online{online.latextruthtable,
  title = {Macro for automating truth tables in LaTeX},
  url = {https://tex.stackexchange.com/questions/505994},
  note = {visited on 2022-02-22}
}


@online{online.luacustomoperator,
  title = {Lua Custom Operator},
  url = {http://lua-users.org/wiki/CustomOperators},
  note = {visited on 2022-02-22}
}





