All of you insisting that `a(b+1)` must be interpreted as a function application because it doesnt have a multiplication symbol, as if the unicode character U+2061 FUNCTION APPLICATION doesn't exist
It looks like this:
I can tell when it's missing.