killing_buddha

Che poi, siete davvero sicuri che sia cosi’ esecrabile denotare con un simbolo la fine di una definizione? Il libro di Johnstone Topos Theory, tanto per dire, fa esattamente questo (con l’aggravante di usare lo stesso simbolo per la fine di una definizione, di una dimostrazione, di un remark o di una serie di esempi).
(Tutto cio’ detto anche se comprendo perfettamente l’obiezione di egreg)

Grazie per la risposta.

Se l’ultima riga finisce troppo vicino al margine destro, il simbolo sarà stampato al margine sinistro, perché \hfill crea un punto buono per spezzare la riga e sparisce, nel caso questo punto finisca per essere usato.

Non e’ un problema anche di \qed, questo? Intendo dire: come fa \qed a evitare che questo accada?

A che serva un simbolo distintivo per la fine di una definizione o un teorema mi risulta oscuro

Non ha una utilita’ particolare. Sto facendo un esperimento.

Il pacchetto ntheorem fornisce già la funzionalità che desideri

Ho cercato un po’, ma evidentemente non lo “vedo”: mi puoi aiutare meglio? Altrimenti cerchero’ di nuovo, non temete 🙂

`\documentclass[a4paper, twoside, 9pt]{article}
\usepackage{
amsmath,amssymb,amsfonts,
eucal,wrapfig,amsthm,
graphicx,hyperref,url,
mathrsfs}
\usepackage[utf8]{inputenc}

%\usepackage{mathptmx}

\usepackage{newtxtext,newtxmath}
\usepackage[LGRx,T1]{fontenc}
\usepackage{inconsolata}
\newcommand{\mono}{\hookrightarrow}
\newcommand{\epi}{\twoheadrightarrow}
\newcommand{\xto}[1]{\xrightarrow{#1}}
\newcommand{\xot}[1]{\xleftarrow{#1}}
\newcommand{\bsmat}{\left(\begin{smallmatrix}}
\newcommand{\esmat}{\end{smallmatrix}\right)}

\DeclareRobustCommand{\greco}[1]{%
{\fontencoding{LGR}\fontfamily{\greekfamily}\selectfont #1}}
\def\greekfamily{porson}
%=====================================
\let\amalg=\undefined
\let\coprod=\undefined
\DeclareSymbolFont{cmsymbols}{OMS}{cmsy}{m}{n}
\DeclareSymbolFont{cmlargesymbols}{OMX}{cmex}{m}{n}
\DeclareMathSymbol{\amalg}{\mathbin}{cmsymbols}{“71}
%=================================================

\usepackage[usenames,dvipsnames]{xcolor}
\usepackage{epigraph}
\usepackage[titletoc]{appendix}

\DeclareMathAlphabet{\mathpzc}{OT1}{pzc}{m}{it}
\newcommand{\com}[1]{\mathpzc{#1}}
\newcommand{\cate}[1]{\mathbf{#1}}
\newcommand{\C}{\cate{C}}
\newcommand{\fascio}[1]{\mathscr{#1}}

\usepackage{mparhack, microtype}
\hypersetup{backref,
colorlinks=true,
linkcolor=black,citecolor=NavyBlue}

\hyphenation{Gro-then-dieck}
\newcommand{\todo}[1]{\textcolor{blue}{\bf #1}}`
ho tolto un po’ di roba, i pacchetti che carico sono questi, in questo ordine…

Mmhh, ci sono vari problemi che evidenziano la mia ignoranza…

anzitutto ricevo un errore: “Encoding file `lgrxenc.def’ not found”; incidentalmente credo mi manchino newtxtext e newtxmath; quando cerco di far partire tlmgr per sapere se e’ vero che mancano e per installarli, mi chiede un permesso, e se lo lancio con “sudo” mi dice che non riconosce il comando tlmgr.

A volte ritornano! Come posso fare a non far apparire sgranate le lettere minuscole? Dimentico di caricare qualche pacchetto?
Tanto per capirsi questo e’ il problema (scusate se lo ingrandisco cosi’ ma e’ necessario):

Se dovesse servire, non uso lmodern come fon base, bensi’ tgtermes (tutto il preambolo e’ lunghetto).

Ma il mio problema riguarda dei diagrammi commutativi dove al posto di \text{un testo molto lungo} ci sono cose come
`A\otimes(B_1\otimes\dots\otimes B_n)`
Era solo per fare un esempio che ho copiato quel codice… 😀 come oggetto nei diagrammi c’e’ matematica, non testo. Pero’ mi rendo conto che non e’ stato chiarissimo: facciamo che il diagramma che devo disegnare, una volta per tutte, e’

`\[
\xymatrix{*[l] A\otimes(B_1\otimes\dots\otimes B_n) & B \\ C & *[r]A\otimes(B_1\otimes\dots\otimes B_n)}
\]`
Con un solo asterisco ricevo un messaggio di errore
`! Forbidden control sequence found while scanning use of \next@.

\par
l.11 …*[r] A\otimes(B_1\otimes\dots\otimes B_n)}
I suspect you have forgotten a `}', causing me
to read past where you wanted me to stop.
I'll try to recover; but if the error is serious,
you'd better type `E' or `X' now and fix your file.
Runaway argument?`
e se ne metto due, e’ come non aver usato il comando. 🙁

Purtroppo no:
`! A was supposed to be here.

\pi
l.169 …}{v}{\frac{1}{2}(v\otimes 1-Jv\otimes i)}
I was expecting to see \hbox or \vbox or \copy or \box or
something like that. `
Tanto piu’ che sulla documentazione di xypic e’ riportato esattamente **[r] e **[l]… Non capisco…

Ti ringrazio, ma io non chiedevo come si scrive, bensi’ quando si usa chiarissimo piuttosto che no 😉