TeX源码:

v\leq10000