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

Yes, that is a much better (and bug proof) definition of subtraction.