IMPORTANT!

Snipt is going open source. We've toyed with this idea for quite a while, and have finally decided it's the right way to move forward.

A few things:
  • The entire Snipt source code will be released on GitHub under the 3-clause BSD License on Friday, September 10th.
  • While we'd like to think we're perfect, we realize we're only human. By open sourcing the software that runs this website, certain bugs or security flaws may be discovered that could compromise the privacy of your snipts.
  • Only the Lion Burger team will be able to push commits to the Snipt.net site. Contributors should send a pull request to add new features or submit patches.
  • By using this site, you agree not to be too angry or take any legal action against Lion Burger should this whole thing go up in flames some day.
  • Follow us on Twitter for updates.
I agree, close this message
Sign up to create your own snipts, or login.

Latest 100 public snipts » logic The latest public logic snipts.

showing 1-1 of 1 snipts for logic
  • ∞ Logic commands in tex 
    Allquantor = \forall
Existencequantor = \exists
OR = \vee
AND = \wedge
NOT = \neg
Implies = \Rightarrow

    copy | embed

    0 comments - tagged in  posted by mrtazz on Feb 03, 2009 at 7:18 p.m. EST
Sign up to create your own snipts, or login.