Also the rest of the remainder-case definition looks like a typical mathematical "Fallunterscheidung" in German.
Fall a1): Es gilt ... falls x < 0,
Fall a2): Es gilt ... falls x = 0,
Fall a3): Es gilt ... sonst.
Definitely have seen it written like that in mathematical proofs, you can even leave "Es gilt" and just write your proposition.
On paper I would probably have placed a Halmos after sonst due to muscle memory lol.
Also if you threaten somebody with an "or else..." it works the same in German "sonst..."
Fall a1): Es gilt ... falls x < 0,
Fall a2): Es gilt ... falls x = 0,
Fall a3): Es gilt ... sonst.
Definitely have seen it written like that in mathematical proofs, you can even leave "Es gilt" and just write your proposition. On paper I would probably have placed a Halmos after sonst due to muscle memory lol.
Also if you threaten somebody with an "or else..." it works the same in German "sonst..."