No , top 3 candidates in the election . Not top 2 and a random third . <| sep |> Sweet as , glad it helped . For further info I got a call from the police this evening letting me know that it had been served , he ' d been told he was not allowed to contact me in any way and it had been made clear to him the consequences of doing so . So there is no room for oh I didn ' t realise from here on out <| sep |> Suggest a useful alternative and I ' m sure people will take it up . It ' s telling that no one has come up with a better system of notation that retains the desirable properties of mathematical notation . Also , this last paragraph Personally , I understand most of higher math by reformulating it in terms of lambda calculus and type theory , because they map to real world programs I can write and investigate and explore . Interpreting mathematical concepts in terms of computer programs is just one way to make math more tangible . There must be other ways we can explain math without having to explain the extraordinarily dense , outdated notation that we use . I think you ' re confusing syntax with semantics . Understanding the meaning of mathematical statements can be tough . You ' re blaming the syntactic mechanisms used to convey that meaning , when I don ' t think they ' re universally to blame although as you indicated there are notational weirdnesses . You can write a type theory proof with just the same mathematical notation as everyone else , and it ' s going to be just as confusing looking if not more so ~ nadlistingslibData . Integer . Properties . html . The syntax isn ' t as big a part of the problem as you make it out .