Theorem-like environments

$\newenvironment {prompt}{}{} \newcommand {\ungraded }[0]{} \newcommand {\HyperFirstAtBeginDocument }[0]{\AtBeginDocument }$

How theorem-like environments work

Ximera provides a number of theorem-like environments by default. These are all functionally identical, the only difference is the name associated with them. It is important to note that each of these theorem-like environments use their own independent counter/numbering. For example, observe the numberings of the following theorems and corollaries:

Here’s the first theorem!

Here’s the first corollary!

Here’s the second corollary!

Here’s the second theorem!

So the different environments will number themselves in order, but each tracks its own numbering independently.

Optional Arguments

There are (currently) no Ximera-specific optional arguments - but Ximera does support the default optional arguments. For example, you can put an optional argument to provide a “nickname” for the theorem. For example:

Axiom of Choice I’m not going to actually write the Axiom of Choice here - but only crazy people don’t assume it. Or maybe non-analysts.

The above is generated with:

        \begin{axiom}[Axiom of Choice]
 
            I’m not going to actually write the Axiom of Choice here -
 
            but only crazy people don’t assume it. Or maybe non-analysts.
 
        \end{axiom}

Examples

The easiest way to list the default theorem-like environments, is just to demonstrate them all - prepare for a massive example list!

Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Ut purus elit, vestibulum ut, placerat ac, adipiscing vitae, felis. Curabitur dictum gravida mauris.

My theorem Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Ut purus elit, vestibulum ut, placerat ac, adipiscing vitae, felis. Curabitur dictum gravida mauris.

Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Ut purus elit, vestibulum ut, placerat ac, adipiscing vitae, felis. Curabitur dictum gravida mauris.

Best Practices

Potential Pitfalls and Problems

Page Credit

Remember that environments are what generate page credit in Ximera. So if you include one of these environments, and don’t have anything which requires student input inside that environment (such as a multiple choice environment or an answer command), it will still count as credit for the page, and immediately grant student credit for that environment as it will immediately be marked as “completed” (since there is nothing for the student to do). This can be a good thing - to use as partial credit for at least opening the assignment for instance. See the segment on Credit Allocation for more on this issue in general.

Cross-Referencing

One of LaTeX’s strong points is automatically numbering and cross-referencing content via a label and ref command. This still works in the generated pdf (at time of writing), but it does not work in any meaningful way online. In general, one is best served by using a hard-coded reference and possibly a link command to reference another part of the document, to make sure that it works online as well as online. See the advanced section on linking content for more on this.

Press...	...to do
left/right arrows	Move cursor
shift+left/right arrows	Select region
ctrl+a	Select all
ctrl+x/c/v	Cut/copy/paste
ctrl+z/y	Undo/redo
ctrl+left/right	Add entry to list or column to matrix
shift+ctrl+left/right	Add copy of current entry/column to to list/matrix
ctrl+up/down	Add row to matrix
shift+ctrl+up/down	Add copy of current row to matrix
ctrl+backspace	Delete current entry in list or column in matrix
ctrl+shift+backspace	Delete current row in matrix

Type...	...to get
norm	$\|\|\blue{[?]}\|\|$
text	$\text{\blue{[?]}}$
sym_name	$\backslash\texttt{\blue{[?]}}$
abs	$\left\|\blue{[?]}\right\|$
sqrt	$\sqrt{\blue{[?]}}$
paren	$\left(\blue{[?]}\right)$
floor	$\lfloor \blue{[?]} \rfloor$
factorial	$\blue{[?]}!$
exp	${\blue{[?]}}^{\blue{[?]}}$
sub	${\blue{[?]}}_{\blue{[?]}}$
frac	$\dfrac{\blue{[?]}}{\blue{[?]}}$
int	$\displaystyle\int{\blue{[?]}}d\blue{[?]}$
defi	$\displaystyle\int_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}d\blue{[?]}$
deriv	$\displaystyle\frac{d}{d\blue{[?]}}\blue{[?]}$
sum	$\displaystyle\sum_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
prod	$\displaystyle\prod_{\blue{[?]}}^{\blue{[?]}}\blue{[?]}$
root	$\sqrt[\blue{[?]}]{\blue{[?]}}$
vec	$\left\langle \blue{[?]} \right\rangle$
mat	$\left(\begin{matrix} \blue{[?]} \end{matrix}\right)$
*	$\cdot$
infinity	$\infty$
arcsin	$\arcsin\left(\blue{[?]}\right)$
arccos	$\arccos\left(\blue{[?]}\right)$
arctan	$\arctan\left(\blue{[?]}\right)$
sin	$\sin\left(\blue{[?]}\right)$
cos	$\cos\left(\blue{[?]}\right)$
tan	$\tan\left(\blue{[?]}\right)$
sec	$\sec\left(\blue{[?]}\right)$
csc	$\csc\left(\blue{[?]}\right)$
cot	$\cot\left(\blue{[?]}\right)$
log	$\log\left(\blue{[?]}\right)$
ln	$\ln\left(\blue{[?]}\right)$
alpha	$\alpha$
beta	$\beta$
gamma	$\gamma$
delta	$\delta$
epsilon	$\epsilon$
zeta	$\zeta$
eta	$\eta$
theta	$\theta$
iota	$\iota$
kappa	$\kappa$
lambda	$\lambda$
mu	$\mu$
nu	$\nu$
xi	$\xi$
omicron	$\omicron$
pi	$\pi$
rho	$\rho$
sigma	$\sigma$
tau	$\tau$
upsilon	$\upsilon$
phi	$\phi$
chi	$\chi$
psi	$\psi$
omega	$\omega$
Gamma	$\Gamma$
Delta	$\Delta$
Theta	$\Theta$
Lambda	$\Lambda$
Xi	$\Xi$
Pi	$\Pi$
Sigma	$\Sigma$
Phi	$\Phi$
Psi	$\Psi$
Omega	$\Omega$