I began reading "A Concise Introduction to Mathematical Logic" by Wolfgang Rautenberg and on the 17th page came up with the following notation:

The author (as I can understand) uses dash sign instead of equality sign but I've never met such notation. Is it specific to Germany, to mathematical logic texts, or something else?