AMN and math logic notation

I\'m not sure this is appropriate for stackoverflow, but I don\'t know where else to ask. I\'m studying the B-Method for proving consistence in requirement specifications, and I have an issue with the