add \usepackage{txfonts} to the defaults for latex in scribble

related to racket/gui#128

scribble-lib/info.rkt

@@ -23,4 +23,4 @@
 
 (define pkg-authors '(mflatt eli))
 
-(define version "1.35")
+(define version "1.36")

scribble-lib/scribble/latex-render.rkt

@@ -1317,6 +1317,10 @@
                                 [(#\⋱) "$\\ddots$"]
                                 [(#\⋯) "$\\cdots$"]
                                 [(#\⋯) "\\hdots"]
+                                [(#\⊸) "$\\multimap$"]
+                                [(#\⟜) "$\\multimapinv$"]
+                                [(#\⅋) "$\\invamp$"]
+                                [(#\□) "$\\square$"]
                                 [else
                                  (cond
                                   [(char<=? #\uAC00 c #\uD7AF) ; Korean Hangul

scribble-lib/scribble/scribble-load.tex

@@ -8,6 +8,7 @@
 \newcommand{\packageWasysym}{
   \let\leftmoon\relax \let\rightmoon\relax \let\fullmoon\relax \let\newmoon\relax \let\diameter\relax
   \usepackage{wasysym}}
+\newcommand{\packageTxfonts}{\usepackage{txfonts}}
 \newcommand{\packageTextcomp}{\usepackage{textcomp}}
 \newcommand{\packageFramed}{\usepackage{framed}}
 \newcommand{\packageHyphenat}{\usepackage[htt]{hyphenat}}

scribble-lib/scribble/scribble.tex

@@ -6,6 +6,7 @@
 \packageRelsize
 \packageMathabx
 \packageWasysym
+\packageTxfonts
 \packageTextcomp
 \packageFramed
 \packageHyphenat