1

I want to have a statement in my proof with an implication sign in it, I want it centred and italicised and I want it numbered. (1) How do you do this?

\documentclass[a4paper,10pt]{article}
\usepackage{amsthm} 
\usepackage{amsmath, amssymb, amsfonts}
\usepackage{ dsfont } 

\begin{document}
\begin{equation}\textit{Als X een overaftelbare deelverzameling van $\mathds{R}$ is, dan is er een bijectie van X naar $\mathds{R}$.$\implies$ it is day time.}\end{equation}
\end{document}
  • 1
    Welcome to TeX.SX! Please show us a compilable code that we can play with ... – Mensch Nov 9 '14 at 17:08
  • One way would be to use an equation environment: \begin{equation}\textit{It is sunny $\implies$ it is day time.}\end{equation}. But, It would be helpful if you composed a fully compilable MWE including \documentclass and the appropriate packages that sets up the problem. That way a solution that works for your particular case could e presented. – Peter Grill Nov 9 '14 at 17:15
  • your question isn't very clear, in particular which number do you want (for example equation counter or a specific number sequence for implications)? Also why do you not want to make it a theorem? theroem environemnts don't have to be mathematical theorems, they are often used for remarks or notes or proofs or...a theorem to latex is just a kind of numbered set off paragraph display. Just as a list does not need to be a real list (for example center and environment are list as far as their latex implementation goes). – David Carlisle Nov 9 '14 at 17:33
  • @PeterGrill this is what I needed but when I do this, it doesn't automatically make a new line. How do I solve this? – Michael Angelo Nov 9 '14 at 18:03
  • @RolWezel: It makes a new line for me. I'd suggest you edit the question and add a composed a fully compilable MWE including \documentclass and the appropriate packages that sets up the problem. Not sure how to help you further without it. – Peter Grill Nov 9 '14 at 18:07
3

Here are a few options:

enter image description here

Code:

\documentclass[a4paper,10pt]{article}
\usepackage{showframe} 
\usepackage{amsthm} 
\usepackage{amsmath, amssymb, amsfonts}
\usepackage{dsfont} 

\begin{document}
\begin{equation}
\parbox{0.7\linewidth}{ Als X een overaftelbare deelverzameling van $\mathds{R}$ is, dan is er een bijectie van X naar $\mathds{R}$.
$\implies$ 
it is day time.}
\end{equation}
Alternatively you can use:
\begin{equation}
\parbox{0.5\linewidth}{Als X een overaftelbare deelverzameling van $\mathds{R}$ is, dan is er een bijectie van X naar $\mathds{R}$. }
\Bigg\}\implies 
\parbox{0.2\linewidth}{it is day time.}
\end{equation}

\end{document}

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.