Zdroj TeX:

[a+m=n+b] \wedge [c+m=n+d]