I wrote myself a very similar keyboard layout a while ago:
https://github.com/bradrn/Conkey. It differs in being primarily oriented towards linguistics rather than maths, but I’ve ended up being able to type almost a superset of the same symbols that this one allows. Aside from this, the main difference appears to be that Lengyel’s keyboard layout is more ergonomic, at the cost of allowing less symbols.