- Questo topic ha 6 risposte, 5 partecipanti ed è stato aggiornato l'ultima volta 6 anni, 7 mesi fa da .
-
Topic
-
Buonasera,
vi sottopongo un problema che mi sembra tanto strano quanto irrisolvibile in LaTeX, conosciuto per la sua altissima resa tipografica.
Varie volte in un documento (classe article) uso degli elenchi puntati (itemize) con un simbolo personalizzato, ad es.
`\begin{itemize}
\item[(i)] Primo elemento
\item[(ii)] Secondo elemento
…
\end{itemize}
`
e, una volta, in un ambiente theorem accade che i simboli siano sovrapposti l’un l’altro (vedi immagine).
In tutti gli altri ambienti theorem, questo non accade.
Sapreste darmi una spiegazione?
Questo è il preambolo e il codice incriminato.
`PREAMBOLO E PARTE INIZIALE
\documentclass[12pt,a4paper,twoside,titlepage]{article}
\usepackage[italian,german]{babel}
\usepackage{fouriernc}
\usepackage{textcomp}
\usepackage{xpatch,amsmath,systeme,mathtools}
\let\xleftrightarrow\undefined
\xpatchcmd{\@theorem}{\fontseries\mddefault\upshape}{}{}{} % same font as thm-header
\xpatchcmd{\@def}{\fontseries\mddefault\upshape}{}{}{} % same font as thm-header\makeatletter
\newcommand\xleftrightarrow[2][]{%
\ext@arrow 9999{\longleftrightarrowfill@}{#1}{#2}}
\newcommand\longleftrightarrowfill@{%
\arrowfill@\leftarrow\relbar\rightarrow}
\makeatother\newcommand{\sol}[1]{\mathbb{#1}}
\newcommand{\GLnR}{\mathrm{GL}_n (\mathbb{R})}
\newcommand{\MnR}{\mathcal{M}_n (\mathbb{R})}
\newcommand{\opel}[4]{\xrightarrow{\text{#1}{#2}{#3}\text{#4}}}
\newcommand{\ass}[1]{\left| #1 \right|}
\newcommand*\es[1]{\tikz[baseline=(char.base)]{
\node[shape=circle,draw,inner sep=4pt,fill=blue!15] (char) {#1};}}\newcommand*\ess[1]{\tikz[baseline=(char.base)]{
\node[shape=circle,draw,inner sep=4pt,fill=green!15] (char) {#1};}}\newcommand*\est[1]{\tikz[baseline=(char.base)]{
\node[shape=circle,draw,inner sep=4pt,fill=red!15] (char) {#1};}}%\newcommand{\ss}{ß}
\usepackage{amsfonts}
\DeclareMathAlphabet{\mathcal}{OMS}{cmsy}{m}{n}
\DeclareMathAlphabet{\mathbb}{U}{msb}{m}{n}
\DeclareMathOperator{\spn}{Span} %definisco operatore span con \spn per la parte generatrice di una fam. di vettori.
\DeclareMathOperator{\tr}{tr} % definisco operatore tr con \tr per la traccia di una matrice.
\DeclareMathOperator{\rg}{rang} %definisco operatore rang con \rg per il rango di una matrice.\usepackage{amssymb}
\let\openbox\relax
\usepackage{amsthm, thmtools}
\usepackage{makeidx}
\usepackage{graphicx}
\usepackage{mdframed}
\usepackage{float}
\usepackage{ulsy}
\usepackage[T1]{fontenc}
\usepackage{wasysym}
\usepackage{tikz}
\usetikzlibrary{decorations.pathreplacing,calc,matrix}
\usepackage{pdfpages}
\usepackage{eso-pic}
\usepackage{hyperref}
\hypersetup{
colorlinks=false, %set true if you want colored links
linktoc=all, %set to all if you want both sections and subsections linked
}
\usepackage{sectsty}
\usepackage{fancyhdr}
\usepackage{nicematrix}
\usepackage{subfloat}
\usepackage{aligned-overset}\sectionfont{\Huge}
\author{Niccolò Cavallini}
\title{Elementi di Algebra lineare}
\date{}\textwidth16cm
\textheight23cm
\topmargin0mm
\headheight15mm
\headsep10mm
\oddsidemargin0mm
\evensidemargin0mm
\parindent0mm% DIMOSTRAZIONE – STRUTTURA
% fbox{
% \parbox{0.97\textwidth}{
% \begin{center}
% DIMOSTRAZIONE PER #1
% \end{center}
% #2 \ \ \ \ $\blacksquare$
% }
%}
%dove #1 è il METODO e #2 è il TESTO della dim.\renewcommand{\emptyset} {\varnothing}
\newcommand {\vecl}{\overrightarrow}\begin{document}
\selectlanguage{italian}
\newcommand{\comment}[1]{}
\newmdtheoremenv{theorem}{Teorema}[section]
\newtheorem*{theorem*}{Teorema} %Teorema non numerato e non indicizzato
\newtheorem{corollary}{Corollario}[theorem]
\theoremstyle{definition}
\newtheorem{definition} {Definizione}[section]
\newtheorem*{definition*}{Definizione} %Def. non numerata e non indicizzata
\newtheorem{lemma}{Lemma}
\newtheorem{cor}{Corollario}
\includepdf[pages=-, pagecommand={\thispagestyle{empty}}]{copertina/copertina_def.pdf}\newpage
\thispagestyle{empty}
\selectlanguage{italian}
\newpage
\thispagestyle{empty}
\phantom{a}\fancypagestyle{pdf}
\fancyhead{} % cancella tutti i campi
\fancyhead[RO,LE]{}
\fancyhead[LO,RE]{}
\fancyfoot[LE,RO]{\thepage}
\fancyfoot[CO,CE]{\sectionmark}\pagestyle{fancy}
%\fancyhead{} % cancella tutti i campi
\fancyhead[RO,LE]{\textit{Elementi di Algebra lineare}}
\fancyhead[LO,RE]{\textit{Niccolò Cavallini}}
\fancyfoot[LE,RO]{\thepage}
\fancyfoot[LO,CE]{}
\fancyfoot[CO,RE]{}\renewcommand{\headrulewidth}{0pt}
\renewcommand{\footrulewidth}{0pt}``CODICE 'INCRIMINATO'
\begin{theorem}[sulle funzioni con dominio (finito) uguale al codominio] {\phantom{A}\\}
Ist $X$ eine \textbf{endliche} Menge, so sind für eine Abbildung $f: X \rightarrow X$ folgende Bedingungen äquivalent.\begin{enumerate}
\item[(i)]$f$ ist injektiv
\item[(ii)]$f$ ist surjektiv
\item[(iii)]$f$ ist bijektiv
\end{enumerate}
\end{theorem}
`IMMAGINE DEL PROBLEMA
[attachment=2362]theorem_itemize.JPG[/attachment]
- Devi essere connesso per rispondere a questo topic.