The triangle being an equation by itself is a bit of a bummer. The obvious followup to yours removing a line would be to remove two. Exponentiation would be:

The triangle being an equation by itself is a bit of a bummer. The obvious followup to yours removing a line would be to remove two. Exponentiation would be: e / x Logarithm would be: e \ b Root would be: x—b Now a simple line may be too little. And it's not clear we should be using 3 different symbols ('/', '\', '—') either. But you get the idea. It's less gargantuan, and expressing the entire equation without the '=' sign, while possible, is so baroque nobody would do this except to make a point. But what I like best with this idea is the possibility of replacing the line by some arbitrary symbol (including no symbol at all). That way, other triangular relations could be expressed without stepping on each other's namespace. By the way, there is an obvious direction we haven't used yet: a | b I'm not sure in which cases it could be useful, tough. --- Now that I think of it, hiding the `=` sign may not be so bad in some cases. Relations don't have to be limited with the identity and orders (<, >, ≤, ≥). They don't have to be limited to relations with 2 variables either. Other relations would have to justify their usefulness to warrant a special symbol of their own however.