No, the @ character in a DigitMap is not used to match a literal @ character. An @ in a DigitMap matches any alphanumeric character.
The [^*]@@. rule in the ITSPx DigitMaps is somewhat problematic in that it, as well as the xx. rule, match almost any dialed number you throw at it. The xx. rule is totally redundant with the [^*]@@. rule in place (I've removed the xx. rule from my ITSPx DigitMaps). I prefer a DigitMap to validate what I dial in order to catch obvious mis-dialed numbers (too few digits, for example), but with these rules in place, almost no validation occurs and almost anything gets sent to the provider. I'm considering removing the [^*]@@. rule (in addition to the xx. rule). One can still dial a SIP URI anywhere you use it in TK() format where a DigitMap is not used (I can't envision many cases for the need to do IP dialing from a keypad).