Skip to content
Snippets Groups Projects
Select Git revision
  • 2688b2789bcfe780e22ee8580991bf11c9dc26dd
  • master default protected
2 results

Overlay.java

Blame
    • sn3-qsk-u1's avatar
      494ab9dc
      Update CoronaVirus.class, Crowd.class, DispoMask.class, Enemy.class,... · 494ab9dc
      sn3-qsk-u1 authored 
      Update CoronaVirus.class, Crowd.class, DispoMask.class, Enemy.class, FaceMask.class, GasMask.class, Interactables.class, Item.class, Overlay.class, Platform.class, Player.class, Sanitizer.class, Scoreboard.class, Scroller.class, Spit.class, Spitter.class, StartMenu.class, ToiletPaper.class, Welt.class, CoronaVirus.ctxt, CoronaVirus.java, Crowd.ctxt, Crowd.java, DispoMask.ctxt, DispoMask.java, Enemy.ctxt, Enemy.java, FaceMask.ctxt, FaceMask.java, GasMask.ctxt, GasMask.java, Interactables.ctxt, Interactables.java, Item.ctxt, Item.java, Overlay.ctxt, Overlay.java, Platform.ctxt, Platform.java, Player.ctxt, Player.java, project.greenfoot, README.TXT, Sanitizer.ctxt, Sanitizer.java, Scoreboard.ctxt, Scoreboard.java, Scroller.ctxt, Spit.ctxt, Spit.java, Spitter.ctxt, Spitter.java, StartMenu.ctxt, StartMenu.java, ToiletPaper.ctxt, ToiletPaper.java, Welt.ctxt, Welt.java files
      494ab9dc
      History
      Update CoronaVirus.class, Crowd.class, DispoMask.class, Enemy.class,...
      sn3-qsk-u1 authored 
      Update CoronaVirus.class, Crowd.class, DispoMask.class, Enemy.class, FaceMask.class, GasMask.class, Interactables.class, Item.class, Overlay.class, Platform.class, Player.class, Sanitizer.class, Scoreboard.class, Scroller.class, Spit.class, Spitter.class, StartMenu.class, ToiletPaper.class, Welt.class, CoronaVirus.ctxt, CoronaVirus.java, Crowd.ctxt, Crowd.java, DispoMask.ctxt, DispoMask.java, Enemy.ctxt, Enemy.java, FaceMask.ctxt, FaceMask.java, GasMask.ctxt, GasMask.java, Interactables.ctxt, Interactables.java, Item.ctxt, Item.java, Overlay.ctxt, Overlay.java, Platform.ctxt, Platform.java, Player.ctxt, Player.java, project.greenfoot, README.TXT, Sanitizer.ctxt, Sanitizer.java, Scoreboard.ctxt, Scoreboard.java, Scroller.ctxt, Spit.ctxt, Spit.java, Spitter.ctxt, Spitter.java, StartMenu.ctxt, StartMenu.java, ToiletPaper.ctxt, ToiletPaper.java, Welt.ctxt, Welt.java files
    noun_arith.lisp 1.61 KiB 
    ;; Customize Maxima's tex() function.  
;; Chris Sangwin 21 Oct 2005.
;; Useful files: 
;; \Maxima-5.9.0\share\maxima\5.9.0\share\utils\mactex-utilities.lisp
;; \Maxima-5.9.0\share\maxima\5.9.0\src\mactex.lisp

(defprop $nounadd tex-mplus tex)
(defprop $nounadd ("+") texsym)
(defprop $nounadd 100. tex-lbp)
(defprop $nounadd 100. tex-rbp)

(defprop $nounsub tex-prefix tex)
(defprop $nounsub ("-") texsym)
(defprop $nounsub 100. tex-rbp)
(defprop $nounsub 100. tex-lbp)

(defprop $nounmul tex-nary tex)
(defprop $nounmul "\\," texsym)
(defprop $nounmul 120. tex-lbp)
(defprop $nounmul 120. tex-rbp)

(defprop $noundiv tex-mquotient tex)
(defprop $noundiv 122. tex-lbp) ;;dunno about this
(defprop $noundiv 123. tex-rbp)

(defprop $nounpow tex-mexpt tex)
(defprop $nounpow 140. tex-lbp)
(defprop $nounpow 139. tex-rbp)

(defprop $nounand tex-nary tex)
;;(defprop $nounand ("\\land ") texsym)
(defprop $nounand ("\\,{\\mbox{ !AND! }}\\, ") texsym)
(defprop $nounand 65. tex-lbp)
(defprop $nounand 65. tex-rbp)
;;(defprop mand ("\\land ") texsym)
(defprop mand ("\\,{\\mbox{ !AND! }}\\, ")  texsym)

(defprop $nounor tex-nary tex)
;;(defprop $nounor ("\\lor ") texsym)
(defprop $nounor ("\\,{\\mbox{ !OR! }}\\, ") texsym)
(defprop $nounor 61. tex-lbp)
(defprop $nounor 61. tex-rbp)
;;(defprop mor ("\\lor ") texsym)
(defprop mor ("\\,{\\mbox{ !OR! }}\\, ")  texsym)

(defprop $nounnot tex-prefix tex)
;;(defprop $nounnot ("\\neg ") texsym)
(defprop $nounnot ("{\\rm !NOT!}") texsym)
(defprop $nounnot 70. tex-lbp)
(defprop $nounnot 70. tex-rbp)
(defprop mnot tex-prefix tex)
;;(defprop mnot ("\\neg ") texsym)
(defprop mnot ("{\\rm !NOT!}") texsym)