TeX source:
512=2^9