Author: Till.Mossakowski
Description:
Sometimes, <math>\varphi</math> is displayed as "\varphi", not as the greek letter.
See http://en.wikipedia.org/wiki/Talk:Robinson%27s_joint_consistency_theorem
Version: unspecified
Severity: major
URL: http://en.wikipedia.org/wiki/Talk:Robinson%27s_joint_consistency_theorem