Commit 2023-06-29 10:29 b8fe59a8

feat: unexpander for abs notation (#5559) Pretty prints abs a as |a|. It adds discretionary parentheses in known unparseable cases, like |(|x|)| rather than ||x||. It also uses discretionary parentheses in|(-x)| since currently |-x| does not parse.