480:(yes, an unfortunate sophomoric phrase) is ill-advised. Indeed, the content now makes it clear that only the symbol(s), not the phrase, deserved explanation; for, the obvious interpretation as plain English is adequate without mathematical elaboration. In retrospect, I suppose we could have sorted this out during the PROD waiting interval and avoided an AfD;
449:
or some such. I suppose I could live with a redirect there, if the main purpose is to help people find the symbol (though note that this is the symbol for "such that" in only one context; the phrase is used in other mathematical and non-mathematical contexts). The other thing I don't like about it is
117:
Articles about stylized constructions in mathematical discourse are in general hard to source and of marginal encyclopedic interest; in this case there's arguably no specialized meaning anyway, as the construction can be interpreted correctly in ordinary
English.
416:
and learned that both : and | do the trick. I know my vote is – clearly – overshadowed, but it helped me and I really can't see the harm in keeping it. However, seeing as the information is readily available at the
412:
The article provides useful information about this important mathematical expression and it's usage. I got to the article in the first place, for instance, to learn what symbols are used to represent
376:
There actually is a peculiar way of using this phrase within mathematical jargon, as sometimes first seen when you're in 12th grade learning epsilon-delta definitions, but it's not worth an article.
331:
True, but when considering changing an article into a redirect, the current/former content of the article is irrelevant. The only consideration is whether it makes sense to redirect the
110:
343:
is not completely terrible, but on balance I prefer for it to be a redlink, as there's not much sense in linking it (and it's a fairly implausible search term). --
201:. I don't like the redirect idea because the phrase is also used outside of the context of set builder notation, both in math and in common English usage.
352:
Oh, I agree that content is irrelevant when deciding where to redirect to. I was just explaining where the idea of 'perhaps we should redirect to
269:. "Such that" is about as encyclopedic as "it is." Do not redirect (its use in "set building" is not particularly unique or meaningful). --
305:." But "such that" in this context isn't particularly technical or unique - it's just using two English words to mean what they mean. --
399:
17:
476:, but given the subsequent discussion and given the revised content of the article I have come to agree that a redirect to
446:
83:
78:
281:
I don't see the connection to set-building. The meaning of "such that" seems closer to
Hilbert's choice operator in the
87:
197:
No room for expansion beyond a simple
English dictionary definition. Any other content that's there now is already in
70:
510:
36:
509:
Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a
301:
The connection is to so-called "set-builder" notation, in that a set is defined as "the elements x such that x
35:
Subsequent comments should be made on the appropriate discussion page (such as the article's talk page or in a
220:. We are not a dictionary, and I don't think there is much to say about "such that" beyond its meaning. --
395:
225:
477:
418:
353:
340:
238:
198:
170:
49:
494:
458:
437:
404:
380:
360:
347:
326:
309:
292:
273:
257:
245:
229:
212:
185:
161:
145:
122:
52:
182:
377:
319:
254:
178:
322:
was totally about the little symbol in set-builder notation which is pronounced 'such that'. --
390:
221:
29:
The following discussion is an archived debate of the proposed deletion of the article below.
282:
207:
241:
would have the disadvantage that 'such that' is not explained or defined in that article.
432:
242:
142:
286:
473:
455:
357:
344:
323:
119:
74:
306:
270:
266:
134:
289:
158:
104:
202:
356:' came from, since it isn't obvious from the current version of the article. --
491:
422:
138:
482:
336:
66:
58:
469:
487:
433:
503:
The above discussion is preserved as an archive of the debate.
335:
in question to the article being proposed. Redirecting
315:
100:
96:
92:
454:
the phrase, which I think would be pretty silly. --
39:). No further edits should be made to this page.
423:
513:). No further edits should be made to this page.
133:. No specialised meaning, obvious from context,
421:article, a redirect would work even better. »
8:
288:as a source for the "such that" connection.
237:per Trovatore and Jitse. A redirect to
7:
450:that it might encourage people to
24:
314:And in this particular case, the
18:Knowledge:Articles for deletion
318:that we were commenting on at
1:
447:table of mathematical symbols
495:11:12, 30 August 2007 (UTC)
459:03:51, 29 August 2007 (UTC)
438:22:08, 28 August 2007 (UTC)
405:03:52, 28 August 2007 (UTC)
381:17:54, 27 August 2007 (UTC)
361:20:32, 27 August 2007 (UTC)
348:17:45, 27 August 2007 (UTC)
327:17:32, 27 August 2007 (UTC)
310:15:12, 27 August 2007 (UTC)
293:16:15, 27 August 2007 (UTC)
274:06:49, 27 August 2007 (UTC)
258:06:45, 27 August 2007 (UTC)
246:01:55, 27 August 2007 (UTC)
230:01:10, 27 August 2007 (UTC)
213:23:32, 26 August 2007 (UTC)
186:23:25, 26 August 2007 (UTC)
162:21:50, 26 August 2007 (UTC)
146:20:38, 26 August 2007 (UTC)
123:19:37, 26 August 2007 (UTC)
53:01:49, 31 August 2007 (UTC)
530:
389:to set-builder notation.
506:Please do not modify it.
32:Please do not modify it.
385:Delete, I suppose, but
253:as per nomination. --
478:set-builder notation
419:Set-builder notation
354:set-builder notation
341:set-builder notation
239:set-builder notation
199:set-builder notation
171:set-builder notation
445:I think we have a
427:
177:per discussion on
490:for "my bad"). --
425:
410:Keep or redirect.
403:
211:
521:
508:
435:
429:
393:
316:previous version
283:Epsilon calculus
255:Mark H Wilkinson
205:
137:a dictionary. --
108:
90:
34:
529:
528:
524:
523:
522:
520:
519:
518:
517:
511:deletion review
504:
387:do not redirect
81:
65:
62:
50:Fuhghettaboutit
44:The result was
37:deletion review
30:
22:
21:
20:
12:
11:
5:
527:
525:
516:
515:
499:
498:
497:
463:
462:
461:
407:
383:
370:
369:
368:
367:
366:
365:
364:
363:
312:
303:blah blah blah
296:
295:
276:
260:
248:
232:
215:
188:
183:David Eppstein
164:
151:
150:
149:
148:
115:
114:
61:
56:
42:
41:
25:
23:
15:
14:
13:
10:
9:
6:
4:
3:
2:
526:
514:
512:
507:
501:
500:
496:
493:
489:
485:
484:
479:
475:
471:
467:
464:
460:
457:
453:
448:
444:
441:
440:
439:
436:
430:
420:
415:
411:
408:
406:
401:
397:
392:
388:
384:
382:
379:
378:Michael Hardy
375:
372:
371:
362:
359:
355:
351:
350:
349:
346:
342:
338:
334:
330:
329:
328:
325:
321:
317:
313:
311:
308:
304:
300:
299:
298:
297:
294:
291:
287:
284:
280:
277:
275:
272:
268:
264:
261:
259:
256:
252:
249:
247:
244:
240:
236:
233:
231:
227:
223:
219:
216:
214:
209:
204:
200:
196:
192:
189:
187:
184:
180:
176:
172:
168:
165:
163:
160:
156:
153:
152:
147:
144:
140:
136:
132:
129:
128:
127:
126:
125:
124:
121:
112:
106:
102:
98:
94:
89:
85:
80:
76:
72:
68:
64:
63:
60:
57:
55:
54:
51:
47:
40:
38:
33:
27:
26:
19:
505:
502:
481:
472:'s original
465:
451:
442:
413:
409:
391:CRGreathouse
386:
373:
332:
302:
278:
262:
250:
234:
222:Jitse Niesen
217:
195:not redirect
194:
190:
174:
166:
154:
130:
116:
45:
43:
31:
28:
468:I blocked
414:such that,
243:EdJohnston
483:mea culpa
456:Trovatore
358:Sopoforic
345:Trovatore
337:such that
324:Sopoforic
157:per nom.
120:Trovatore
67:Such that
59:Such that
452:wikilink
307:Cheeser1
271:Cheeser1
167:Redirect
111:View log
443:Comment
374:Delete.
290:Leibniz
285:. See
279:Comment
193:and do
159:Leibniz
84:protect
79:history
466:Delete
320:WT:WPM
267:WP:NOT
263:Delete
251:Delete
235:Delete
218:Delete
191:Delete
179:WT:WPM
175:delete
155:Delete
135:WP:NOT
131:Delete
88:delete
46:delete
492:KSmrq
488:Latin
428:G O E
333:title
203:nadav
139:Taejo
105:views
97:watch
93:links
16:<
474:PROD
470:Carl
434:talk
265:per
226:talk
208:talk
101:logs
75:talk
71:edit
339:to
181:. —
173:or
169:to
109:– (
48:.--
431:|
424:K
398:|
228:)
143:대조
103:|
99:|
95:|
91:|
86:|
82:|
77:|
73:|
486:(
426:i
402:)
400:c
396:t
394:(
224:(
210:)
206:(
141:|
113:)
107:)
69:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.