The Dots–Brackets Converter
See
the project page on GitHub
for more information on this project.
Dots → Brackets
Brackets → Dots
PM-style dotting (size-graded)
Church-style dotting (single-dot)
Convert
Dot molecular negation
Use stricter hierarchy
Dot quantifiers
Use stricter hierarchy
Convert conjunction dots:
∧
•
⋅
&
&&
+