This repository was archived by the owner on Apr 19, 2019. It is now read-only.

This repository was archived by the owner on Apr 19, 2019. It is now read-only.

Unicode characters seem to be lost #1

Open

Labels

opened

on Mar 19, 2014

Searching for Gödel yields no results, when there should be at least one (see [1], 4th hit).

[1] http://search.mathweb.org/tema/?query-text=Goedel&query-math=#1

Metadata

Assignees

No one assigned

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests