No.11634285 ViewReplyOriginalReport
can I formulate a formal specification like this? is it acceptable?

how can I avoid the floor symbol?