User blog comment:Googology Noob/SuperJedi's X Function/@comment-25601061-20151229030901/@comment-25601061-20151229030946

I think that defines substraction in 19 symbols.