Change metavariables to greek letters phi, psi, or something else.
Caligraphic capital letters are nice but when lecturing it you can't speak the difference easily and I think students are getting confused. Do we then have to replace the caligraphic terms for FOL?
catrincm
commented
5 years ago
Change metavariables to greek letters phi, psi, or something else. Caligraphic capital letters are nice but when lecturing it you can't speak the difference easily and I think students are getting confused. Do we then have to replace the caligraphic terms for FOL?