TeX source:
2^{\wedge}\{511+64 t\}< p< 2^{\wedge}\{512+64 t\}