1+ “one-plus” ( n1 | u1 -- n2 | u2 )
Add one (1) to n1 | u1 giving the sum n2 | u2.
das Ergebnis von Eins plus wl. Die Operation 1 + wirkt genauso