Ich glaube der hexcode ist 7D,
also könnte man auch mit x'7D' arbeiten. Probiers doch mal aus.