powered by
Takes any formula-like input and returns a formula
to_formula(form)
A formula
Formula or character (with or without initial tilde/"~")
Jonas Kristoffer Lindeløv jonas@lindeloev.dk