Lueskelin Planetmathia ja huomasin, että todistuksia voi laatia Latexissa proof-nimiseen ympäristöön. Kun kokeilin vastaavaa omalla koneellani, se ilmoitti
! LaTeX Error: Environment proof undefined.
Miten tuon saa toimimaan? Tiedostoni alku on seuraavanlainen:
\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[latin1]{inputenc}
\usepackage[finnish]{babel}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{stmaryrd}
\usepackage{euscript}
! LaTeX Error: Environment proof undefined.
Miten tuon saa toimimaan? Tiedostoni alku on seuraavanlainen:
\documentclass[a4paper]{article}
\usepackage[T1]{fontenc}
\usepackage[latin1]{inputenc}
\usepackage[finnish]{babel}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{stmaryrd}
\usepackage{euscript}
Vastaukset 5
Vanhimmat
Yhtä google-hakua viisaampana:
amsthm - Provides a proof environment and extensions for the \newtheorem command.
http://www.stat.umn.edu/~charlie/amslatex.html
... keinoa jotenkin tagittaa teoreema-numeroihin? Olen joutunut jättämään kysymysmerkkejä teoreemaviittauksiini.
Tarkotatko nyt, että jos sinulla on lause LaTeXssa esim.
\begin{proclaim}
Tämä lause on epätosi.
\end{proclaim}
ja sitten haluat viitata siihen myöhemmin? Se onnistuu ihan labelilla, eli \label{jokunimi} ja sitten jos haluat myöhemmin viitata, niin \ref{jokunimi}. Esim. tuossa esimerkissä voisi nyt olla
\begin{proclaim}\label{tyhmalause}
Tämä lause on epätosi.
\end{proclaim}
(ja myöhemmin viittaus) ... lauseessa \ref{tyhmalause} käsittelimmekin lauseen totuutta...
... amsthm-numerointia. Miten viittaan teoreeman numeroon tagin avulla, jos pitää lisäillä väliin uusia teoreemia.
..sen pitäis pelata.