Xjyuk

Decreasing star size

Spoken encryption

Why are off grid solar setups only 12, 24, 48 VDC?

Trapped in an ocean Temple in Minecraft?

Iterate over non-const variables in C++

What is the difference between 1/3, 1/2, and full casters?

AC contactor 1 pole or 2?

How do campaign rallies gain candidates votes?

Is it legal for private citizens to "impound" e-scooters?

Why does RPM for a fixed-pitch propeller change with an aircraft's pitch?

How can I receive packages while in France?

Simple question about a formula for sums

Trying to build a function to compute divided difference for arbitrary list of points

Anybody know what this small Nintendo stand is for?

kids pooling money for Lego League and taxes

Calling a Macro as Argument of Another Macro

Basic Questions on Wiener Filtering

Why are all my history books dividing Chinese history after the Han dynasty?

How to avoid unconsciously copying the style of my favorite writer?

Why are so many countries still in the Commonwealth?

How can I prevent corporations from growing their own workforce?

Would this neural network have short term memory?

Writing a clean implementation of Rock, Paper, Scissors game in c++

Is it legal to use cash pulled from a credit card to pay the monthly payment on that credit card?

How to Create an Image for Cantor's *Diagonal Argument* with a Diagonal Oval

Error messages with diagonal arrowsLabeling diagonal arrows with the diagrams packageHow to create diagonal matrix with an aligned diagonal?How to typeset readable diagonal matrices with large entries?How to create a blanks diagram for counting problems?runaway argument with fractionDefault argument for newcommandHow to closed lines? ovalDiagonal table with numbersUsing printeranswers environment, how to print solutions in the box without the title “Solutions”

.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;

2

1

I would like to produce an illustration for Cantor's diagonal argument, something like a centered enumeration of $4$ or $5$ decimal expansions $x_i = .d_i1d_i2d_i3 ldots$, and then insert a diagonal oval circumscribing $d_11, d_22, d_33, ldots$.

What is a good way to do this?

I have come up with the following, but I'm not sure it will allow me to insert the diagonal oval? (which I don't know how to do.)

Any constructive comments are appreciated.

I don't know if the latex documentation will format properly as this is my first question post on this site.

Thank you.

documentclassbook usepackageamsthm,latexsym,amssymb,amsmath,verbatim

pagestyleempty

begindocument

[ x_1 = .d_11d_12d_13d_14d_15 ldots ] [ x_2 = .d_21d_22d_23d_24d_25 ldots ] [ x_3 = .d_31d_32d_33d_34d_35 ldots ] [ x_4 = .d_41d_42d_43d_44d_45 ldots ] [ x_5 = .d_51d_52d_53d_54d_55 ldots ] [ hskip -100pt vdots ]

enddocument

math-mode lists diagrams

share|improve this question

edited 8 hours ago

Torbjørn T.

163k1313 gold badges267267 silver badges453453 bronze badges

asked 8 hours ago

mlchristiansmlchristians

11966 bronze badges

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  MathJax isn't enabled on this site, so math expressions aren't rendered as math. To highlight code properly, select it and hit Ctrl + K (or click the button marked above the input field).
  
  – Torbjørn T.
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Thank you, I did not know that. (And thank you for your edit.)
  
  – mlchristians
  8 hours ago
  
  

  
  
  
  

add a comment | 

2

1

I would like to produce an illustration for Cantor's diagonal argument, something like a centered enumeration of $4$ or $5$ decimal expansions $x_i = .d_i1d_i2d_i3 ldots$, and then insert a diagonal oval circumscribing $d_11, d_22, d_33, ldots$.

What is a good way to do this?

I have come up with the following, but I'm not sure it will allow me to insert the diagonal oval? (which I don't know how to do.)

Any constructive comments are appreciated.

I don't know if the latex documentation will format properly as this is my first question post on this site.

Thank you.

documentclassbook usepackageamsthm,latexsym,amssymb,amsmath,verbatim

pagestyleempty

begindocument

[ x_1 = .d_11d_12d_13d_14d_15 ldots ] [ x_2 = .d_21d_22d_23d_24d_25 ldots ] [ x_3 = .d_31d_32d_33d_34d_35 ldots ] [ x_4 = .d_41d_42d_43d_44d_45 ldots ] [ x_5 = .d_51d_52d_53d_54d_55 ldots ] [ hskip -100pt vdots ]

enddocument

math-mode lists diagrams

share|improve this question

edited 8 hours ago

Torbjørn T.

163k1313 gold badges267267 silver badges453453 bronze badges

asked 8 hours ago

mlchristiansmlchristians

11966 bronze badges

• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  
  MathJax isn't enabled on this site, so math expressions aren't rendered as math. To highlight code properly, select it and hit Ctrl + K (or click the button marked above the input field).
  
  – Torbjørn T.
  8 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  Thank you, I did not know that. (And thank you for your edit.)
  
  – mlchristians
  8 hours ago
  
  

  
  
  
  

add a comment | 

I would like to produce an illustration for Cantor's diagonal argument, something like a centered enumeration of $4$ or $5$ decimal expansions $x_i = .d_i1d_i2d_i3 ldots$, and then insert a diagonal oval circumscribing $d_11, d_22, d_33, ldots$.

What is a good way to do this?

I have come up with the following, but I'm not sure it will allow me to insert the diagonal oval? (which I don't know how to do.)

Any constructive comments are appreciated.

I don't know if the latex documentation will format properly as this is my first question post on this site.

Thank you.

documentclassbook usepackageamsthm,latexsym,amssymb,amsmath,verbatim

pagestyleempty

begindocument

[ x_1 = .d_11d_12d_13d_14d_15 ldots ] [ x_2 = .d_21d_22d_23d_24d_25 ldots ] [ x_3 = .d_31d_32d_33d_34d_35 ldots ] [ x_4 = .d_41d_42d_43d_44d_45 ldots ] [ x_5 = .d_51d_52d_53d_54d_55 ldots ] [ hskip -100pt vdots ]

enddocument

math-mode lists diagrams

share|improve this question

edited 8 hours ago

Torbjørn T.

163k1313 gold badges267267 silver badges453453 bronze badges

asked 8 hours ago

mlchristiansmlchristians

11966 bronze badges

documentclassbook usepackageamsthm,latexsym,amssymb,amsmath,verbatim

pagestyleempty

begindocument

[ x_1 = .d_11d_12d_13d_14d_15 ldots ] [ x_2 = .d_21d_22d_23d_24d_25 ldots ] [ x_3 = .d_31d_32d_33d_34d_35 ldots ] [ x_4 = .d_41d_42d_43d_44d_45 ldots ] [ x_5 = .d_51d_52d_53d_54d_55 ldots ] [ hskip -100pt vdots ]

enddocument

share|improve this question

edited 8 hours ago

Torbjørn T.

163k1313 gold badges267267 silver badges453453 bronze badges

asked 8 hours ago

mlchristiansmlchristians

11966 bronze badges

share|improve this question

edited 8 hours ago

Torbjørn T.

163k1313 gold badges267267 silver badges453453 bronze badges

asked 8 hours ago

mlchristiansmlchristians

11966 bronze badges

edited 8 hours ago

Torbjørn T.

163k1313 gold badges267267 silver badges453453 bronze badges

edited 8 hours ago

Torbjørn T.

163k1313 gold badges267267 silver badges453453 bronze badges

asked 8 hours ago

mlchristiansmlchristians

11966 bronze badges

asked 8 hours ago

mlchristiansmlchristians

11966 bronze badges

1 Answer
1

active

oldest

votes

6

I propose this code, based on alignat and pstricks:

documentclass[11pt, svgnames]book

usepackageamsthm,latexsym,amssymb,amsmath, verbatim
usepackagemakebox
usepackagepst-node, auto-pst-pdf
pagestyleempty

begindocument

beginpostscript
everypsboxscriptstyle
beginalignat*7
 x_1 & = . &: & d_rnoded111 & & d_12 & & d_13 & & d_14 & & d_15 & ; & ldots \
 x_2 & = . & & d_21 & enspace & d_rnoded222 & & d_23 & & d_24 & & d_25 & & ldots \
 x_3 & = . & & d_31 & & d_32 & enspace & d_ rnoded333 & & d_34 & & d_35 & & ldots \
 x_4 & = . & & d_41 & & d_42 & & d_43 & enspace & d_rnoded444 & & d_45 & & ldots \
 x_5 & = . & & d_51 & & d_52 & & d_53 & & d_54 & enspace & d_rnoded555 & & ldots\[-1.33ex]
 makebox*$x_5$$ vdots $ & & & & & & & makebox*$d_53$$ vdots $ & & & & & enspace & Rnodeddddots
endalignat*
ncbox[boxsize=0.22, linearc=0.22, linecolor=FireBrick, nodesep=1.5ex, fillstyle=solid, fillcolor=FireBrick!20, opacity=0.3]d1dd
 endpostscript

enddocument

share|improve this answer

answered 7 hours ago

BernardBernard

186k77 gold badges8484 silver badges220220 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  This is much nicer than I had hoped for! Thank you.
  
  – mlchristians
  5 hours ago
  

  
  
  
  

add a comment | 

Your Answer

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "85"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: false,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: null,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

Sign up or log in

StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);

Sign up using Google

Sign up using Facebook

Sign up using Email and Password

Post as a guest

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2ftex.stackexchange.com%2fquestions%2f501734%2fhow-to-create-an-image-for-cantors-diagonal-argument-with-a-diagonal-oval%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

6

I propose this code, based on alignat and pstricks:

documentclass[11pt, svgnames]book

usepackageamsthm,latexsym,amssymb,amsmath, verbatim
usepackagemakebox
usepackagepst-node, auto-pst-pdf
pagestyleempty

begindocument

beginpostscript
everypsboxscriptstyle
beginalignat*7
 x_1 & = . &: & d_rnoded111 & & d_12 & & d_13 & & d_14 & & d_15 & ; & ldots \
 x_2 & = . & & d_21 & enspace & d_rnoded222 & & d_23 & & d_24 & & d_25 & & ldots \
 x_3 & = . & & d_31 & & d_32 & enspace & d_ rnoded333 & & d_34 & & d_35 & & ldots \
 x_4 & = . & & d_41 & & d_42 & & d_43 & enspace & d_rnoded444 & & d_45 & & ldots \
 x_5 & = . & & d_51 & & d_52 & & d_53 & & d_54 & enspace & d_rnoded555 & & ldots\[-1.33ex]
 makebox*$x_5$$ vdots $ & & & & & & & makebox*$d_53$$ vdots $ & & & & & enspace & Rnodeddddots
endalignat*
ncbox[boxsize=0.22, linearc=0.22, linecolor=FireBrick, nodesep=1.5ex, fillstyle=solid, fillcolor=FireBrick!20, opacity=0.3]d1dd
 endpostscript

enddocument

share|improve this answer

answered 7 hours ago

BernardBernard

186k77 gold badges8484 silver badges220220 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  This is much nicer than I had hoped for! Thank you.
  
  – mlchristians
  5 hours ago
  

  
  
  
  

add a comment | 

6

I propose this code, based on alignat and pstricks:

documentclass[11pt, svgnames]book

usepackageamsthm,latexsym,amssymb,amsmath, verbatim
usepackagemakebox
usepackagepst-node, auto-pst-pdf
pagestyleempty

begindocument

beginpostscript
everypsboxscriptstyle
beginalignat*7
 x_1 & = . &: & d_rnoded111 & & d_12 & & d_13 & & d_14 & & d_15 & ; & ldots \
 x_2 & = . & & d_21 & enspace & d_rnoded222 & & d_23 & & d_24 & & d_25 & & ldots \
 x_3 & = . & & d_31 & & d_32 & enspace & d_ rnoded333 & & d_34 & & d_35 & & ldots \
 x_4 & = . & & d_41 & & d_42 & & d_43 & enspace & d_rnoded444 & & d_45 & & ldots \
 x_5 & = . & & d_51 & & d_52 & & d_53 & & d_54 & enspace & d_rnoded555 & & ldots\[-1.33ex]
 makebox*$x_5$$ vdots $ & & & & & & & makebox*$d_53$$ vdots $ & & & & & enspace & Rnodeddddots
endalignat*
ncbox[boxsize=0.22, linearc=0.22, linecolor=FireBrick, nodesep=1.5ex, fillstyle=solid, fillcolor=FireBrick!20, opacity=0.3]d1dd
 endpostscript

enddocument

share|improve this answer

answered 7 hours ago

BernardBernard

186k77 gold badges8484 silver badges220220 bronze badges

• 
  
  
  

  
  

  
  
  
  
  
  

  
  
  This is much nicer than I had hoped for! Thank you.
  
  – mlchristians
  5 hours ago
  

  
  
  
  

add a comment | 

I propose this code, based on alignat and pstricks:

documentclass[11pt, svgnames]book

usepackageamsthm,latexsym,amssymb,amsmath, verbatim
usepackagemakebox
usepackagepst-node, auto-pst-pdf
pagestyleempty

begindocument

beginpostscript
everypsboxscriptstyle
beginalignat*7
 x_1 & = . &: & d_rnoded111 & & d_12 & & d_13 & & d_14 & & d_15 & ; & ldots \
 x_2 & = . & & d_21 & enspace & d_rnoded222 & & d_23 & & d_24 & & d_25 & & ldots \
 x_3 & = . & & d_31 & & d_32 & enspace & d_ rnoded333 & & d_34 & & d_35 & & ldots \
 x_4 & = . & & d_41 & & d_42 & & d_43 & enspace & d_rnoded444 & & d_45 & & ldots \
 x_5 & = . & & d_51 & & d_52 & & d_53 & & d_54 & enspace & d_rnoded555 & & ldots\[-1.33ex]
 makebox*$x_5$$ vdots $ & & & & & & & makebox*$d_53$$ vdots $ & & & & & enspace & Rnodeddddots
endalignat*
ncbox[boxsize=0.22, linearc=0.22, linecolor=FireBrick, nodesep=1.5ex, fillstyle=solid, fillcolor=FireBrick!20, opacity=0.3]d1dd
 endpostscript

enddocument

share|improve this answer

answered 7 hours ago

BernardBernard

186k77 gold badges8484 silver badges220220 bronze badges

documentclass[11pt, svgnames]book

usepackageamsthm,latexsym,amssymb,amsmath, verbatim
usepackagemakebox
usepackagepst-node, auto-pst-pdf
pagestyleempty

begindocument

beginpostscript
everypsboxscriptstyle
beginalignat*7
 x_1 & = . &: & d_rnoded111 & & d_12 & & d_13 & & d_14 & & d_15 & ; & ldots \
 x_2 & = . & & d_21 & enspace & d_rnoded222 & & d_23 & & d_24 & & d_25 & & ldots \
 x_3 & = . & & d_31 & & d_32 & enspace & d_ rnoded333 & & d_34 & & d_35 & & ldots \
 x_4 & = . & & d_41 & & d_42 & & d_43 & enspace & d_rnoded444 & & d_45 & & ldots \
 x_5 & = . & & d_51 & & d_52 & & d_53 & & d_54 & enspace & d_rnoded555 & & ldots\[-1.33ex]
 makebox*$x_5$$ vdots $ & & & & & & & makebox*$d_53$$ vdots $ & & & & & enspace & Rnodeddddots
endalignat*
ncbox[boxsize=0.22, linearc=0.22, linecolor=FireBrick, nodesep=1.5ex, fillstyle=solid, fillcolor=FireBrick!20, opacity=0.3]d1dd
 endpostscript

enddocument

share|improve this answer

answered 7 hours ago

BernardBernard

186k77 gold badges8484 silver badges220220 bronze badges

answered 7 hours ago

BernardBernard

186k77 gold badges8484 silver badges220220 bronze badges

answered 7 hours ago

BernardBernard

186k77 gold badges8484 silver badges220220 bronze badges