• Stars
    star
    193
  • Rank 199,903 (Top 4 %)
  • Language
  • Created over 11 years ago
  • Updated over 7 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a macro to carefully select one of a multitude of choices.

latex-therefore

Tired of needing to come up with synonyms for 'Therefore,' in your mathematical writing? Ponder no longer! This LaTeX package provides a macro to carefully select one of a multitude of choices.

As an example, please see sqrt_two.pdf.

This project was inspired by the thread at http://www.reddit.com/r/math/comments/1gov71/mathematical_writing_synonyms_for_therefore/ particularly

lucasvb: Someone should collect these into a macro.
    perpetual_motion: We need a command that would just insert one at random.

If you have suggestions for more phrases to include or want to write another example proof, feel free to fork/pull the repo. If you're not on GitHub, feel free to email me your additions at [email protected].

Usage

Download the file therefore.sty to the directory where your LaTeX file is. In the preamble, put

\usepackage{therefore}

Wherever you would otherwise laboriously choose a synonym for 'Therefore', simply type

\Therefore there are an infinite number of primes

Notice that there is no trailing comma after \Therefore. This is because some of the transitions, such as 'And verily it goes that', do not require commas. If one is needed, it will be part of the expansion.

The macro will expand differently with each compile. The choice of seed used each time is documented in your_file.log. For example,

many lines of output here
...
Random number generator initialized to 379457
...
more lines of output here

If there is a result you particularly like, you can choose it by passing a seed=379457 option to the package:

\usepackage[seed=379457]{therefore}

More Repositories

1

postgres_kernel

A simple Jupyter kernel for PostgreSQL
Python
64
star
2

superdelegate

Delegate methods and properties to child objects in a terse, explicit style
Python
14
star
3

inspect.macro

Log an expression and the result of that expression to the console
JavaScript
10
star
4

shell-challenges

Sequenced challenges to learn shell pipelines
HTML
9
star
5

vue-await

Render blocks based on the status of a Promise
Vue
9
star
6

fascia

TypeScript
8
star
7

alfred-clipbox

An Alfred workflow for saving screenshots to Trello.
Python
6
star
8

pokemon-mongo-schemer

JavaScript
3
star
9

vue-parcel-web-extension

reference repo for creating a web extension using Vue and parcel
JavaScript
3
star
10

whybother-ts

TypeScript is a great tool. But if you're not convinced, it can seem like a lot of work. Why bother?
JavaScript
3
star
11

preventing-errors-with-typescript

Starting with a project that typechecks perfectly, we'll find a bunch of bugs and explore how we could have used Typescript to catch them earlier
TypeScript
3
star
12

vue-hagrid

Declaratively specify the data that would cause actions to need refreshing, and the components that rely on the results of actions.
JavaScript
3
star
13

winnow

Build powerful SQL queries from untrusted JSON structures
Python
3
star
14

react-hangman

JavaScript
2
star
15

BorrowBee-phoenix

a p2p lending library for neighbors
Elixir
2
star
16

bisect

A typescript implementation of a SortedArray
TypeScript
2
star
17

cloudfront-cors-proxy

Quickly set up a cloudfront proxy that injects CORS headers
TypeScript
2
star
18

pgy2-schedule

A Linear Program for scheduling Univ of CO Family Medicine residents' second year of rotations
Python
2
star
19

join-and-window-function-tutorial

Join and Window function tutorial using PostgreSQL
2
star
20

ninja-assassin-wonder-wall

Research project for fulfilling the requirements of Graduation with Distinction from the Math department at Western Washington University.
TeX
2
star
21

progressively-uncover-code

CSS
1
star
22

stl-police-calls

A map of the calls to which STLPD are currently responding. (pulled from http://www.slmpd.org/cfs.aspx)
Python
1
star
23

linkbait-be-gone

Remove linkbait posts from facebook
JavaScript
1
star
24

derive

c++ code generation using clang AST tools
C++
1
star
25

static-booklist

demo for lc101
HTML
1
star
26

cpp-subprocess

subprocess interface for C++
C++
1
star
27

citrus

A more convenient interface to doing Binary Linear Programming with PuLP
Python
1
star
28

latex-course

The documents for the Intro to LaTeX course put on by the Math Center at Western Washington University
1
star
29

flexicon

(noun) the part of a person's vocabulary that is possibly made up.
HTML
1
star
30

backsplash

conversions between lat-lng, web mercator tiles, and pixel coordinates
TypeScript
1
star
31

lc101-advent-of-code

advent calendar of code challenges for my LaunchCode 101 class. inspired by adventofcode.com
HTML
1
star
32

lets-build-oauth

We'll build oauth "from scratch", starting with "just share your password with me", and moving towards OAuth incrementally. Each step of the way will be motivated by a potential attack vector. Rather than memorizing rules, we'll see how each new addition to the structure mitigates a particular security vulnerability.
Vue
1
star
33

lockbook

Automate your self-control -- block websites until a specified date (maybe after your finals)
Python
1
star
34

tauri-transparency-demo

Demonstrate click-through transparent windows that can still accept clicks on some elements
TypeScript
1
star