8:18 AM
typo When checking posts and with \M, I noticed that sometimes people makes typos such as \Mathbb or \Mathcal (uppercase instead of lowercase).
search posts typo No posts with \Math, \Mathbb, \Mathcal in math mode: data.stackexchange.com/math/query/972953/… data.stackexchange.com/math/query/972953/… data.stackexchange.com/math/query/972953/…
search posts typo No posts with \Math, \Mathbb, \Mathcal in math mode: data.stackexchange.com/math/query/920313/… data.stackexchange.com/math/query/920313/… data.stackexchange.com/math/query/920313/…
search comments typo Comments with \Math, \Mathbb, \Mathcal: data.stackexchange.com/math/query/556789/… data.stackexchange.com/math/query/556789/… data.stackexchange.com/math/query/556789/…
I have edited this answer which contained the macro \Mat defined in the question: math.stackexchange.com/posts/348317/revisions
search posts No other posts with \Mat: data.stackexchange.com/math/query/972953/… data.stackexchange.com/math/query/1094683/…
search posts No other posts with \Mat: data.stackexchange.com/math/query/1174329/… data.stackexchange.com/math/query/1174524/…
search comments Comments with \Mat: data.stackexchange.com/math/query/556789/… data.stackexchange.com/math/query/1094685/… data.stackexchange.com/math/query/1174328/…
search comments Comments with \Mat: data.stackexchange.com/math/query/1066863/… data.stackexchange.com/math/query/1066865/…
The definition of derivative I used is the following: $A$ is differentiable in $U$ iff there is a linear $A'(U) \colon \Mat_n(\R) \to \R$ such that $$ A(U+H) = A(U) + A'(U)H + o(\norm H), \quad H \to 0 $$ Then $A'(U)$ is called the derivative of $A$ in $U$. What definition do you know? — martini Jan 15 '14 at 14:20
I somehow missed that comment when I was searching for \norm: chat.stackexchange.com/transcript/88939/2019/6/1
8:48 AM
2 hours later…
11:21 AM
data-explorer posts Mosts often I search for posts which contain the macro name and do not contain macro definition. Sometimes I want to look at all posts containing the given macro name - as I did for \Math above: data.stackexchange.com/math/query/920313/…
5 hours later…
4:26 PM
I have edited this answer: math.stackexchange.com/posts/1146503/revisions It contained the macro \MaxD which was defined in the question.
It seems unlikely that a macro with such unusual name appears elsewhere, but let's check anyway. (Perhaps one could expect some occurrences in other posts by the same user.)
search posts No other posts with \MaxD: data.stackexchange.com/math/query/972953/… data.stackexchange.com/math/query/1094683/…
search posts No other posts with \MaxD: data.stackexchange.com/math/query/1174329/… data.stackexchange.com/math/query/1174524/…
search comments No comments with \MaxD: data.stackexchange.com/math/query/556789/… data.stackexchange.com/math/query/1094685/… data.stackexchange.com/math/query/1174328/…
search comments No comments with \MaxD: data.stackexchange.com/math/query/1066863/… data.stackexchange.com/math/query/1066865/…
One could imagine that some users might use things such as \Max, \Min, \Sup, \Inf, \Map as names of macros.
search posts comments No posts/comment where \Max is not rendered: data.stackexchange.com/math/query/920313/… data.stackexchange.com/math/query/556789/…
search posts comments No posts/comment where \Map is not rendered: data.stackexchange.com/math/query/920313/… data.stackexchange.com/math/query/556789/…
search posts comments No posts/comment where \Min is not rendered: data.stackexchange.com/math/query/920313/… data.stackexchange.com/math/query/556789/…
search posts comments No posts/comment where \Sup is not rendered: data.stackexchange.com/math/query/920313/… data.stackexchange.com/math/query/556789/…
search posts comments Posts/comments with \Inf: data.stackexchange.com/math/query/920313/… data.stackexchange.com/math/query/556789/…
5:19 PM
I have edited this post, which contained \Mod and \Th: math.stackexchange.com/posts/2339924/revisions
I mean, isn't $\Th(K_1 \cap K_2) = \emptyset$ and $\Mod(\Gamma \cap \Delta) = \emptyset$? — user313212 Jun 28 '17 at 22:33
@user313212 Say that $\phi$ is the sentence $\forall x (x = x)$. It sounds like you're saying that this sentence is not in $\Th(\emptyset)$. Looking at the definition of $\Th(K)$, what would it mean for $\phi$ not to be in that set? — Gregory J. Puleo Jun 28 '17 at 22:57
You are right, what I wrote above is false. So really $\Th(\emptyset)$ is just the set of all sentences that are tautologies, right? Those that are modeled by the empty set. But any of those sentences would be in both $\Th(K_1)$ and $\Th(K_2)$ as well. — user313212 Jun 28 '17 at 23:08
Using a tautology may have been misleading on my part. Let's look at the sentence $\phi$ given by $\forall x (x \neq x)$ instead. What would it mean to have $\phi \notin \Th(\emptyset)$? — Gregory J. Puleo Jun 28 '17 at 23:12
search posts No other posts with \Mod: data.stackexchange.com/math/query/972953/… data.stackexchange.com/math/query/1094683/…
search posts No other posts with \Mod: data.stackexchange.com/math/query/1174329/… data.stackexchange.com/math/query/1174524/…
search comments No other comments with \Mod: data.stackexchange.com/math/query/556789/… data.stackexchange.com/math/query/1094685/… data.stackexchange.com/math/query/1174328/…
search comments No other comments with \Mod: data.stackexchange.com/math/query/1066863/… data.stackexchange.com/math/query/1066865/…
search posts No other posts with \Th: data.stackexchange.com/math/query/972953/… data.stackexchange.com/math/query/1094683/…
search posts No other posts with \Th: data.stackexchange.com/math/query/1174329/… data.stackexchange.com/math/query/1174524/…
search comments No other comments with \Th: data.stackexchange.com/math/query/556789/… data.stackexchange.com/math/query/1094685/… data.stackexchange.com/math/query/1174328/…
search comments No other comments with \Th: data.stackexchange.com/math/query/1066863/… data.stackexchange.com/math/query/1066865/…
« first day (350 days earlier) ← previous day next day → last day (1397 days later) »