User reported ERROR atp0/slides/tableaux-derived.en.xhtml
A content ERROR was logged by "a user" at the following url:
The issue as described by the user:
Are the parentheses lacking?
The text highlighted while reporting this issue:
𝐀⇔𝐁𝖳𝐀𝖳𝐁𝖳|𝐀𝖥𝐁𝖥𝐀⇔𝐁𝖥𝐀𝖳𝐁𝖥|𝐀𝖥𝐁𝖳