django/django — pull request #307 by bnomis (2012-08-26 09:20:58+00:00)
Title: Define less than or equal character for latex docs

Stops this error:

! Package inputenc Error: Unicode char \u8:≤ not set up for use with LaTeX.