@egreg How can I invite you to a chat. I'd like to ask some detail on your answer to this question: tex.stackexchange.com/questions/137381/…

@Ruben drop a message and when he is back, he will reply.

Hello all: setting up for UK-TUG 2013

@JosephWright Hi! Yay!

@Joseph: If David is in the meeting, we can harvest rep? :)

@PauloCereda He's coming I think

How can I get the I\subsetneqq ... below the sum?

@JosephWright with M, hopefully. :)

@hhh \sum\limits_{...} but you're better displaying the formula.

@egreg thank, worked like a charm...I have a lot of formulae to get beautified

Like this I think it looks bad and hard-reading -- is there any way to get the vertical bar larger and the curly brackets somehow more dominant with some spaces?!

@hhh $J=\{\,\operatorname{bin}(I}\mid \alpha_{I}\ne0, I\subsetneq \mathcal{P}(\{1,2,3,\dots,n\})\,\}$

You don't gain in readability by making the delimiters bigger, in general. In this case you could use \bigl\{\, <...> \bigm| <...> \,\bigr\} (<...> stands for “do the same as before”), \bigm| substitutes \mid

@hhh Each time you use $$ for display math, a kitten dies.

@hhh I typed } instead of ) after the I, sorry.

\documentclass{article}
\usepackage{amsmath,amssymb}
\begin{document}
\[
J=\{\,\operatorname{bin}(I)\mid \alpha_{I}\ne0,
  I\subsetneq \mathcal{P}(\{1,2,3,\dots,n\})\,\}
\]
\end{document}

I see no need for larger delimiters.

@hhh I see, instead, a need for a symbol instead of P({1,2,3,...,n})

Like this $\mathbb N_+(ub)$ where $ub$ is the upperbound and $\mathbb N_+$ positive natural numbers until $ub$?

Define \mathcal{P}_{n} to stand for it

@hhh Too complicated.

Do you guys have any problem with the following code?

\documentclass{article}

\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{thmtools}

\declaretheoremstyle[qed=\qedsymbol]{mystyle}
\declaretheorem[name=My definition,style=mystyle]{mydef}

\begin{document}

\begin{mydef}
Hello world.
\end{mydef}

\end{document}

For some odd reason, some keys are not being recognized. I'm sure this code was working before.

@egreg Yes excellent idea, done :0

:)

@PauloCereda You need also amsthm

@egreg Oh my, I was afraid of that. :) It works in my MWE, but the real code is done under svmono and - quelle surprise - I can't include amsthm for some odd reason; apparently some commands are already defined. :)

@PauloCereda svmono has its own method for defining new theorem-like environments and you should use it, not other ones.

@egreg Really? I'll take a look then.

@PauloCereda \svnewtheorem or something like it.

@egreg Close: \spnewtheorem :)

@egreg: you gotta love this: there's even a \smartqed in svmono. :P

@DavidCarlisle: shouldn't you be in the meeting? :)

First talk is Simon Dales on Lua

@HarishKumar I'm sorry, but your answer about the footnote making environment is utterly wrong.

@egreg why:(

@HarishKumar Look at the definition of \footnote. You'll see that it hasn't an argument and only checks for a following [ and choosing what to do; then it passes control to \@footnotetext which has an argument and you're basically doing \@footnotetext{\bgroup}Text of the footnote instead of \@footnotetext{Text of the footnote}. It seems to work, but it really upsets all the group structures in the working on footnotes.

Second talk: Dick Nickalls on Rubik cube's: TeX-sx gets a mention

He's after mathematicians

:-)

@JosephWright Oh no! :)

Talk three is Arthur Reutenauer on LuaTeX for OpenType fonts

@egreg That is right. But the very idea of converting commands in to environment like this is annoying. Will you please put the above comment under the answer and then I will delete it :-)

@egreg I would like to add this code you made at the chat a couple of days ago to this post: tex.stackexchange.com/questions/141858/… , so that it won't get lost. Or do you want to post it as an answer yourself ?

I'm talking about this code:

\documentclass{article}
\usepackage{xparse,amsmath}
\newcommand{\diff}{\mathop{}\!d}

\ExplSyntaxOn
\tl_new:N \l_integrals_vars_tl
\int_new:N \l_integrals_number_int
\keys_define:nn { integrals }
 {
  var .code:n =
   {
    \tl_put_right:Nn \l_integrals_vars_tl { \diff #1 }
    \int_incr:N \l_integrals_number_int
   },
  upper .tl_set:N = \l_integrals_upper_tl,
  lower .tl_set:N = \l_integrals_lower_tl,
  domain .code:n =
   {
    \tl_set:Nn \l_integrals_lower_tl { #1 }
    \bool_set_true:N \l_integrals_limits_bool

@egreg: is it wrong to have f \colon \mathbb{N} \mapsto \varnothing?

@PauloCereda You can define a map as you please

@egreg hmmm.

@PauloCereda Usually \mapsto is for denoting the action on elements.

@egreg Got it, thanks. :)

@PauloCereda On the other hand there's no map $f\colon\mathbb{N}\to\varnothing$

@egreg Perhaps I could exploit some partial function then. :)

@PauloCereda On the other hand there's one partial map $f\colon\mathbb{N}\to\varnothing$

Lunch break here at UK-TUG2013

@JosephWright Is David behaving well? :)

@PauloCereda Yes: we've already had Lego discussions

@JosephWright :)

@PauloCereda Vim versus Emacs well underway

@JosephWright Oh no! :) Nicola is defending vim, of course. :)

@PauloCereda She'll lose, of course.

This account is temporarily suspended. The suspension period ends on Aug 24 '14 at 17:32. It is very long suspension.

@Marienplatz ?

@egreg :-)

@Marienplatz Ah, right

@egreg Nope. :)

@JosephWright Thanks for removing the questions. :-)

@Marienplatz No problem: I discussed with the Powers and have a consistent position for the future

@JosephWright Confirmed!

UK-TUG Update: AGM ongoing

Did all the questions at the site just disappear for anyone else?

Related to database upgrades perhaps, I'll start panicking later if needed.

@PauloCereda @MarcoDaniel In the arara manual, you have lots of YAML examples like the following:

command: pdflatex @{shell} "@{file}"

Shouldn't @{shell} also be enclosed in " "?

@AlanMunn I guess it shouldn't, since @{shell} either expands to nothing, or an element in { --no-shell-escape, --shell-escape }. These flags cannot be enclosed in quotes.

@{file} is enclosed in quotes because the user can have a .tex file with espaces. :)

@PauloCereda Ah, ok. I didn't get the purpose of the quotes. Thanks.

@AlanMunn My pleasure. :) The quotes are actually part of the command to be issued in the terminal. :)

Maybe it's a plan to increase my productivity, but the most recent Firefox update has made Facebook unusable.

@AlanMunn Do you have a Facebook account?!

@PauloCereda Yes, I do. I know you're too cool to have one, but hey.

@AlanMunn I refuse to have an account. :) There's a lot of pressure around here, but I'm strong. :)

@PauloCereda I was:-) (and @JosephWright and @Nicola)

@DavidCarlisle Yay, welcome back! How was the meeting? :)

@PauloCereda dull without international input this year

@DavidCarlisle LOL

And no longtable epicness.

@PauloCereda Joseph did beamer instead

@DavidCarlisle Cool! :)

Can't wait to hear the audios!

@David: rumours about a yeti attending too. :)

(the mic Joseph bought. :P)

Does anyone know if any edit allows a vote to be recast, or only an edit by the OP?

Apparently, the answer is "yes".

@AlanMunn We can test. :)

@PauloCereda I already did. I added an invisible edit to a question that I had accidentally downvoted.

@AlanMunn ooh sneaky! :)

@DavidCarlisle: Another answer by adding % to the end of the line? :)

@PauloCereda Videos asap

@JosephWright Yay!

@PauloCereda Minutes first

@JosephWright Vimeo? :)

@PauloCereda When I can

any one knows how the old math books were typeset? In Particular, I like how the old Russian math books and such are typed in. It is not Latex, since this was before Latex. I wonder what software was used if any? Here is couple of screen shots

@Nasser Linotype, hot metal, ... Doesn't have to involve a computer at all

Notice how all the integral signs all look the same. So it looks like the same typesetting system was used?

@Nasser I'd go with "hand composition".

Thanks. It does look pretty actually. I wonder if one can emulate this in Latex, may be using some special fonts, or style or such to make it look the same.

@Nasser I don't find them particularly attractive: the spacing in math is somewhat arbitrary. Look at the last lines on the left hand page in the second image.

@egreg, sure. I guess I like them myself, because of the "old math" look to them. I like looking at the math in old math books for some reason, even though the typesetting might not be perfect.

@Nasser I don't like them at all from the typographic point of view: I find them hardly readable. About mathematics, it depends on the book: some are good, some are rubbish.

On the other hand, I like the typesetting of Kelley's “General topology” even if by the modern standards it's poor. I have a Springer reprint of the old (North Holland, I guess) edition.

@PauloCereda @egreg tried that as an answer: wrong of course:-)

@DavidCarlisle Lack of information.

@egreg excuses

@DavidCarlisle :)

@PauloCereda A short summary of today's meeting: uk.tug.org/2013/11/09/speaker-meeting-2013

hello

@leo Hello

are you aware if MathJax support aligned and gathered?

seems so :)

@leo See docs.mathjax.org/en/latest/tex.html#supported-latex-commands for a list of available stuff.

@TorbjørnT. thanks

@JosephWright Yay! :)